کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663320 | 1345252 | 2007 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Security of multi-agent systems: A case study on comparison shopping
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Security of multi-agent systems: A case study on comparison shopping Security of multi-agent systems: A case study on comparison shopping](/preview/png/4663320.png)
چکیده انگلیسی
This article uses a comparison-shopping scenario to introduce a general methodology for formally verifying the security of multi-agent systems. Following the approach of possibilistic information flow security, the flow of information between and within agents is restricted in order to ensure that secrets will not be disclosed to unauthorized meddlers. The security requirements for the overall system are then decomposed into requirements for the individual agents that can be verified independently from each other. Exploiting the modular structure of a multi-agent system considerably reduces the complexity of the overall security analysis. The techniques for decomposing security requirements, for verifying individual agents, and for deriving global security guarantees for the entire system from locally verified properties are all generic in the sense that they apply also to many other systems and security requirements than the ones that appear in the example scenario.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 5, Issue 2, June 2007, Pages 303-332
Journal: Journal of Applied Logic - Volume 5, Issue 2, June 2007, Pages 303-332
نویسندگان
Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer,