741 search results - page 1 / 149 » Abstract Machines for Communication Security |
168
Voted
CSFW
1993
IEEE
15 years 10 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...
158
click to vote
ASM
2005
ASM
15 years 11 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...
143
click to vote
MAS
1998
Springer
15 years 10 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...