B. Blanchet

C. Bodei

D. Song

D.X. Song

F. Nielson

K. Bhargavan

L. Moura de

M. Burrows

M. Carbone

N. Swamy

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

Carvalho Quaresma, Jose Nuno

Probst, Christian W.

Nielson, Flemming

Online Research Database In Technology

The Guided System Development Framework: Modeling and Verifying Communication Systems

Jose Quaresma

Christian W. Probst

Flemming Nielson

Crossref

http://orbit.dtu.dk/ws/files/127259460/QuaresmaProbstNielson_TheGuidedSystemDevelopmentFramework_ModelingandVerifyingCommunicationSystems.pdf

The Guided System Development Framework: Modeling and Verifying Communication Systems

Abstract

Similar works

Full text

Available Versions

Online Research Database In Technology

Crossref