1106 search results - page 95 / 222 » Automated Design of Security Protocols |
CCS
2008
ACM
14 years 12 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
Ensuring anonymity in sensor networks is a major security goal. Using traffic analysis, the attacker can compromise the network functionality by correlating data flow patterns to ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
The paper describes a metaobject architecture for distributed fault tolerant systems. Basically metaobject protocols enables functional objects to be independent from meta-function...
CTRSA
2006
Springer
15 years 1 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...