718 search results - page 79 / 144 » Security protocols, properties, and their monitoring |
157
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
195
click to vote
JCS
2006
15 years 6 months ago
2006
We present GKMPAN, an efficient and scalable group rekeying protocol for secure multicast in ad hoc networks. Our protocol exploits the property of ad hoc networks that each membe...
144
click to vote
CISC
2005
Springer
15 years 11 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
165
click to vote
PKC
2000
Springer
15 years 9 months ago
2000
Springer
For the two last decades, electronic authentication has been an important topic. The first applications were digital signatures to mimic handwritten signatures for digital document...
146
click to vote
CCS
2007
ACM
16 years 9 days ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...