Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, ProceedingsÚlfar Erlingsson, Roel Wieringa, Nicola Zannone 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. |
Other editions - View all
Engineering Secure Software and Systems Lfar Erlingsson,Roel Wieringa,Nicola Zannone No preview available - 2011 |
Common terms and phrases
access control activities allows analysis application approach architecture assigned attacker authentication authorization block branch changes client collaboration communication complex components Computer concepts concrete condition consider consists constraints contains coverage define Definition dependencies described detection different discuss distributed domain elements enforcement Engineering environment evaluation evolution example execution existing expressed fact Figure first flow formal function given goal Heidelberg identifiers implementation input instance integration interactions International language LNCS means mechanism method middleware module operations pattern perform present problem Proceedings properties proposed protection protocol References request resource role rules security patterns security requirements security sensitive security service selected session shows specific Springer step symbolic Table task tion tool trace validation verification vulnerabilities