کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10325725 | 676182 | 2011 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal enforcement of security policies on concurrent systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This paper introduces a formal and modular technique allowing to automatically enforce a security policy on a given concurrent system. Given a concurrent program P and a security policy Ï, we automatically generate another program Pâ² that satisfies Ï and behaves like P, except that it stops when P tries to violate the security policy Ï. We use extended version of process algebra ACP (Algebra of Communicating Process) and BPA (Basic Process Algebra) as formal languages to specify both concurrent system and security policy.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 46, Issue 9, September 2011, Pages 997-1016
Journal: Journal of Symbolic Computation - Volume 46, Issue 9, September 2011, Pages 997-1016
نویسندگان
Mahjoub Langar, Mohamed Mejri, Kamel Adi,