349 search results - page 22 / 70 » Compositional Security for Task-PIOAs |
ENTCS
2007
14 years 9 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
80
Voted
ENTCS
2010
14 years 9 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
GCC
2004
Springer
15 years 3 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...