5119 search results - page 334 / 1024 » Security Privacy |
180
click to vote
SP
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
166
click to vote
ESORICS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
145
click to vote
CSFW
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
194
click to vote
SP
1987
IEEE
15 years 10 months ago
1987
IEEE
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
212
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Multi-hop routing is essential to the operation of wireless ad hoc networks. Unfortunately, it is very easy for an adversary to forge or modify routing messages to inflict severe ...