Paper Info
Title
A tool-supported method for the design and implementation of secure distributed applications
Abstract
We describe a highly automated and tool-supported method for the correct integration of security mechanisms into distributed applications. Security functions to establish and release secure connections are provided as self-contained, collaborative building blocks specifying the behavior of several parties. For the security mechanisms to be effective, the application-specific model needs to fulfill certain behavioral properties, for instance, a consistent start and termination. We identify these properties and show how they lead to correct secured applications.
Year
Venue
Keywords
2011
ESSoS
secure connection,consistent start,tool-supported method,application-specific model,collaborative building block,security function,security mechanism,certain behavioral property,correct integration,distributed application
Field
DocType
Volume
Security function,Computer security,Computer science,Common Object Request Broker Architecture,Shared secret,Computer security model,Distributed computing
Conference
6542
ISSN
Citations 
PageRank 
0302-9743
7
0.48
References 
Authors
16
3
Name
Order
Citations
PageRank
Linda Ariani Gunawan1292.92
Frank Alexander Kraemer226221.13
Peter Herrmann319013.04