5119 search results - page 291 / 1024 » Security Privacy |
167
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
174
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe implementations for solving the discrete logarithm problem in the class group of an imaginary quadratic field and in the infrastructure of a real quadratic fi...
151
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Recently, Lee et al. proposed a Remote Authentication Model of Information Appliances (RAMIA). Unfortunately, RAMIA has a fatal error that opens the entire home network o...
190
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
184
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Terrorist or criminal social network analysis is helpful for intelligence and law enforcement force in investigation. However, individual agency usually has part of the complete te...