4111 search results - page 215 / 823 » Security, Protocols, and Trust |
SKG
2006
IEEE
14 years 4 months ago
2006
IEEE
In grid environment, there are many administrative domains, each domain has its own CA, and entities in different domains need authentication when accessing each other. The OCSP (...
IH
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...
NDSS
1998
IEEE
14 years 3 months ago
1998
IEEE
Systems that support mobile agents are increasingly being used on the global Internet. Security concerns dealing with the protection of the execution environment from malicious ag...
FOSAD
2009
Springer
14 years 5 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
CCS
2001
ACM
14 years 3 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...