Abstract
In a world that increasingly relies on the Internet to function, application developers rely on the implementations of protocols to guarantee the security of data transferred. Whether a chosen protocol gives the required guarantees, and whether the implementation does the same, is usually unclear. The Guided System Development framework contributes to more secure communication systems by aiding the development of such systems. The framework features a simple modelling language, step-wise refinement from models to implementation, interfaces to security verification tools, and code generation from the verified specification. The refinement process carries thus security properties from the model to the implementation. Our approach also supports verification of systems previously developed and deployed. Internally, the reasoning in our framework is based on the Beliefs and Knowledge tool, a verification tool based on belief logics and explicit attacker knowledge.
Original language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Proceedings, Part II |
Editors | Tiziana Margaria, Bernhard Steffen |
Publisher | Springer |
Publication date | 2014 |
Pages | 509-523 |
ISBN (Print) | 978-3-662-45230-1 |
ISBN (Electronic) | 978-3-662-45231-8 |
DOIs | |
Publication status | Published - 2014 |
Event | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2014 - Grecotel Corfu Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014 http://www.cs.uni-potsdam.de/isola/isola2014/index.html |
Conference
Conference | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2014 |
---|---|
Location | Grecotel Corfu Imperial |
Country/Territory | Greece |
City | Corfu |
Period | 08/10/2014 → 11/10/2014 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 8803 |
ISSN | 0302-9743 |