1853 search results - page 79 / 371 » Cryptographic Protocols and Network Security |
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
CSREASAM
2006
15 years 1 months ago
2006
A mobile ad hoc network is a self-organizing network that relies on the cooperation of participating nodes in order to function properly. In this network, mobile users arrive withi...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...