526 search results - page 93 / 106 » A Z Based Approach to Verifying Security Protocols |
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
GLOBECOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract—We present a novel routing approach for multichannel cognitive radio networks (CRNs). Our approach is based on probabilistically estimating the available capacity of eve...
CAV
2010
Springer
13 years 12 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
CSREASAM
2006
13 years 10 months ago
2006
The widely acknowledged problem of reliably identifying the origin of information in cyberspace has been the subject of much research. Due to the nature of the Internet protocol, ...
IACR
2011
12 years 8 months ago
2011
We present new candidates for quantum-resistant public-key cryptosystems based on the conjectured difficulty of finding isogenies between supersingular elliptic curves. The main t...