343 search results - page 58 / 69 » Formal security analysis of PKCS |
93
Voted
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
ISI
2004
Springer
15 years 5 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
102
Voted
IJWIN
2006
14 years 11 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
214
click to vote
POPL
2006
ACM
16 years 1 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...