4111 search results - page 148 / 823 » Security, Protocols, and Trust |
USS
2008
14 years 19 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
TCC
2007
Springer
14 years 4 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
WECWIS
1999
IEEE
14 years 2 months ago
1999
IEEE
In an e-commerce system, security, in particular authentication, is of paramount importance. Public-key Infrastructure is often used to enforce authentication and the property of ...
IJISEC
2008
13 years 10 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
IJNSEC
2007
13 years 10 months ago
2007
A protocol for secure communication between set-top box and smart card in conditional access system is proposed. The proposed protocol uses the Schnorr identification scheme to a...