84 search results - page 13 / 17 » Verifying Security Property of Peer-to-Peer Systems Using CS... |
IH
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
ACSAC
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation verifies a methodology pre...
CSFW
2002
IEEE
14 years 14 days ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...