The Guided System Development Framework: Modeling and Verifying Communication Systems

Jose Nuno Carvalho Quaresma, Christian W. Probst, Flemming Nielson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

273 Downloads (Pure)

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 languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Proceedings, Part II
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer
Publication date2014
Pages509-523
ISBN (Print)978-3-662-45230-1
ISBN (Electronic)978-3-662-45231-8
DOIs
Publication statusPublished - 2014
Event6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2014 - Grecotel Corfu Imperial, Corfu, Greece
Duration: 8 Oct 201411 Oct 2014
http://www.cs.uni-potsdam.de/isola/isola2014/index.html

Conference

Conference6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2014
LocationGrecotel Corfu Imperial
CountryGreece
CityCorfu
Period08/10/201411/10/2014
Internet address
SeriesLecture Notes in Computer Science
Volume8803
ISSN0302-9743

Cite this

Carvalho Quaresma, J. N., Probst, C. W., & Nielson, F. (2014). The Guided System Development Framework: Modeling and Verifying Communication Systems. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Proceedings, Part II (pp. 509-523). Springer. Lecture Notes in Computer Science, Vol.. 8803 https://doi.org/10.1007/978-3-662-45231-8_42