PhD Thesis: A logic-programming approach to network security analysis

یک تز دکتری با عنوان بالا در دانشگاه پرینستون  انجام شده. نویسنده با استفاده از عبارات منطقی (Logic) به زبان Datalog شبکه رو مدل کرده و   توانسته  آسیب پذیری های شبکه رو  بر اساس یک  policy سطح بالا  به دست  بیاره.  چکیده این تز: An important problem in network security management is to uncover potential… Continue reading “PhD Thesis: A logic-programming approach to network security analysis”

اشتراک گذاری