4111 search results - page 148 / 823 » Security, Protocols, and Trust |
109
Voted
USS
2008
15 years 3 months 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 ...
97
Voted
TCC
2007
Springer
15 years 7 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...
107
Voted
WECWIS
1999
IEEE
15 years 5 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 ...
104
Voted
IJISEC
2008
15 years 25 days 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...
128
click to vote
IJNSEC
2007
15 years 22 days 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...