4330 search results - page 215 / 866 » Analyzing security architectures |
158
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
177
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
183
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Correlating and analyzing security alerts is a critical and challenging task in security management. Recently, some techniques have been proposed for security alert correlation. H...
200
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an acce...
198
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...