741 search results - page 30 / 149 » Abstract Machines for Communication Security |
SP
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
CRISIS
2009
13 years 7 months ago
2009
IPv6 is an attractive technology for innovative services such as health care monitoring, alarm systems, peer to peer applications, virtual machine systems and so on. The generaliza...
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
AISM
2004
13 years 11 months ago
2004
The evolution of web services has facilitated the integration of business processes scattered across different geographical locations of the world. Along with the benefits that we...
SCN
2010
Springer
13 years 8 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...