741 search results - page 1 / 149 » Abstract Machines for Communication Security |
CSFW
1993
IEEE
13 years 9 months ago
1993
IEEE
Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulou...
ESORICS
2008
Springer
13 years 7 months ago
2008
Springer
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
ASM
2005
ASM
13 years 10 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
MAS
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Mobile-agent systems must address three security issues: protecting an individual machine, protecting a group of machines, and protecting an agent. In this chapter, we di...