43 search results - page 1 / 9 » A Framework for Secure and Verifiable Logging in Public Comm... |
CRITIS
2006
13 years 8 months ago
2006
ACSAC
2009
IEEE
13 years 8 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract—In Wireless Sensor Networks (WSNs), authentication is a crucial security requirement to avoid attacks against secure communication, and to mitigate DoS attacks exploitin...
CSFW
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...