Analysis of Communicating Authorization Policies
العنوان: | Analysis of Communicating Authorization Policies |
---|---|
المؤلفون: | Mohammad Torabi Dashti, Simone Frau |
المصدر: | Security and Trust Management ISBN: 9783642380037 STM |
بيانات النشر: | Springer Berlin Heidelberg, 2013. |
سنة النشر: | 2013 |
مصطلحات موضوعية: | Horn clause, Asynchronous communication, Semantics (computer science), Computer science, Interface (Java), Reachability problem, Formal language, Computer security, computer.software_genre, computer, TRACE (psycholinguistics), Decidability |
الوصف: | We present a formal language for specifying distributed authorization policies that communicate through insecure asynchronous media. The language allows us to write declarative authorization policies; the interface between policy decisions and communication events can be specified using guards and policy updates. The attacker, who controls the communication media, is modeled as a message deduction engine. We give trace semantics to communicating authorization policies, and formulate a generic reachability problem. We show that the reachability problem is decidable for a large class of practically-relevant policies specified in our formal language. |
ردمك: | 978-3-642-38003-7 |
URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::98254df6400c87b625928d8b4c477927 https://doi.org/10.1007/978-3-642-38004-4_7 |
حقوق: | OPEN |
رقم الأكسشن: | edsair.doi...........98254df6400c87b625928d8b4c477927 |
قاعدة البيانات: | OpenAIRE |
ردمك: | 9783642380037 |
---|