378 search results - page 50 / 76 » Security Protocol Design via Authentication Tests |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Wireless sensor nodes generally face serious limitations in terms of computational power, energy supply, and network bandwidth. Therefore, the implementation of effective and sec...
IACR
2011
12 years 7 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers achieve greater security. Proof of possession of authorisation values known as authdata is require...
WIKIS
2010
ACM
13 years 5 months ago
2010
ACM
Wikis have proven to be an invaluable tool for collaboration. The most prominent is, of course, Wikipedia. Its open nature is not suitable for all environments; in corporate, gove...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
When users run a group key exchange (GKE) protocol, they usually extract the key from some auxiliary (ephemeral) secret information generated during the execution. Strong corrupti...