10 search results - page 1 / 2 » Toward a Broader View of Security Protocols |
SPW
2004
Springer
13 years 10 months ago
2004
Springer
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
SPW
2000
Springer
13 years 8 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
WS
2003
ACM
13 years 10 months ago
2003
ACM
Intermediary-based services and performance optimizations are increasingly being considered, by network service providers, with a view towards offering value-added services and i...
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...