62 search results - page 1 / 13 » Security Protocols: Principles and Calculi |
FOSAD
2007
Springer
13 years 11 months ago
2007
Springer
ENTCS
2002
13 years 5 months ago
2002
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
FM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
HICSS
2010
IEEE
14 years 5 days ago
2010
IEEE
Recently, there has been an increased focus and a sense of urgency in developing standards for Power Grid systems centered on the need for interoperability. Given the threat again...
NSPW
2004
ACM
13 years 10 months ago
2004
ACM
This paper considers a new security protocol paradigm whereby principals negotiate and on-the-fly generate security protocols according to their needs. When principals wish to in...