The Guided System Development Framework

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

The Guided System Development Framework

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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

3537 Downloads (Orbit)

Abstract

The Service-Oriented Computing paradigm has had significant influence on the Internet. With the emergence of this paradigm, it is important to provide tools that help developers designing and verifying such systems. In this article, we present the Guided System Development (GSD) Framework that aids and guides the developer on the specification of the system being developed, on choosing the appropriate standard protocols suites that achieve the required security properties, on providing an implementation of the specified system, and also on allowing the verification of its security properties.

Original language	English
Title of host publication	Proceedings of the 23rd Nordic Workshop Programming Theory
Publication date	2011
Pages	69-72
Publication status	Published - 2011
Event	The 23^rd Nordic Workshop on Programming Theory - Mälardalen University, Västerås, Sweden Duration: 26 Oct 2011 → 28 Oct 2011 Conference number: 23

Workshop

Workshop	The 23^rd Nordic Workshop on Programming Theory
Number	23
Location	Mälardalen University
Country/Territory	Sweden
City	Västerås
Period	26/10/2011 → 28/10/2011

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Access to Document

QuaresmaNWPT2011

http://www.mrtc.mdh.se/nwpt2011/

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{a5d7cd9f0ff04ef5a36b729cbe6f4233,

title = "The Guided System Development Framework",

abstract = "The Service-Oriented Computing paradigm has had significant influence on the Internet. With the emergence of this paradigm, it is important to provide tools that help developers designing and verifying such systems. In this article, we present the Guided System Development (GSD) Framework that aids and guides the developer on the specification of the system being developed, on choosing the appropriate standard protocols suites that achieve the required security properties, on providing an implementation of the specified system, and also on allowing the verification of its security properties.",

author = "\{Carvalho Quaresma\}, \{Jose Nuno\} and Probst, \{Christian W.\} and Flemming Nielson",

year = "2011",

language = "English",

pages = "69--72",

booktitle = "Proceedings of the 23rd Nordic Workshop Programming Theory",

note = "The 23<sup>rd</sup> Nordic Workshop on Programming Theory, NWPT ; Conference date: 26-10-2011 Through 28-10-2011",

}

TY - GEN

T1 - The Guided System Development Framework

AU - Carvalho Quaresma, Jose Nuno

AU - Probst, Christian W.

AU - Nielson, Flemming

N1 - Conference code: 23

PY - 2011

Y1 - 2011

N2 - The Service-Oriented Computing paradigm has had significant influence on the Internet. With the emergence of this paradigm, it is important to provide tools that help developers designing and verifying such systems. In this article, we present the Guided System Development (GSD) Framework that aids and guides the developer on the specification of the system being developed, on choosing the appropriate standard protocols suites that achieve the required security properties, on providing an implementation of the specified system, and also on allowing the verification of its security properties.

AB - The Service-Oriented Computing paradigm has had significant influence on the Internet. With the emergence of this paradigm, it is important to provide tools that help developers designing and verifying such systems. In this article, we present the Guided System Development (GSD) Framework that aids and guides the developer on the specification of the system being developed, on choosing the appropriate standard protocols suites that achieve the required security properties, on providing an implementation of the specified system, and also on allowing the verification of its security properties.

M3 - Article in proceedings

SP - 69

EP - 72

BT - Proceedings of the 23rd Nordic Workshop Programming Theory

T2 - The 23<sup>rd</sup> Nordic Workshop on Programming Theory

Y2 - 26 October 2011 through 28 October 2011

ER -

The Guided System Development Framework

Abstract

Workshop

UN SDGs

Access to Document

OpenUrl availability

Fingerprint

Cite this