115 search results - page 12 / 23 » Verifying authentication protocols with CSP |
ESORICS
2009
Springer
14 years 10 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
IANDC
2008
13 years 10 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
PKC
1999
Springer
14 years 2 months ago
1999
Springer
Firewalls typically filter network traffic at several different layers. At application layer, filtering is based on various security relevant information encapsulated into proto...
ACSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...
SKG
2006
IEEE
14 years 3 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 (...