[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 6542 || Automatic Conformance Checking of Role-Based Access Control Policies via Alloy

✍ Scribed by Erlingsson, Úlfar; Wieringa, Roel; Zannone, Nicola

• Book ID: 115444744
• Publisher: Springer Berlin Heidelberg
• Year: 2011
• Tongue: English
• Weight: 386 KB
• Edition: 1
• Category: Article
• ISBN: 3642191258
• DOI: 10.1007/978-3-642-19125-1_2

✦ Synopsis

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization.