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.
|Title of host publication||Proceedings of the 23rd Nordic Workshop Programming Theory|
|Publication status||Published - 2011|
|Event||Nordic Workshop Programming Theory - Västerås, Sweden|
Duration: 1 Jan 2011 → …
Conference number: 23
|Conference||Nordic Workshop Programming Theory|
|Period||01/01/2011 → …|