1059 search results - page 159 / 212 » Modeling Security Protocols as Games |
CRYPTO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
ITRUST
2004
Springer
14 years 3 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
ASIAN
2006
Springer
14 years 1 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
NSPW
2006
ACM
14 years 4 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
ACNS
2006
Springer
14 years 4 months ago
2006
Springer
A coupon is an electronic data that represents the right to access a service provided by a service provider (e.g. gift certificates or movie tickets). Recently, a privacyprotectin...