1679 search results - page 215 / 336 » Security Properties and CSP |
208
Voted
CCS
2005
ACM
16 years 15 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
260
Voted
DRMTICS
2005
Springer
16 years 15 days ago
2005
Springer
Software security is a significant issue in the Internet age. In order to prevent software from piracy and unauthorized modification, many techniques have been developed. Softwar...
161
click to vote
ESORICS
2005
Springer
16 years 15 days ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
191
click to vote
EUROCRYPT
2005
Springer
16 years 15 days ago
2005
Springer
We introduce a new type of Identity-Based Encryption (IBE) scheme that we call Fuzzy Identity-Based Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. ...
165
Voted
FC
2005
Springer
16 years 15 days ago
2005
Springer
A coupon represents the right to claim some service which is typically offered by vendors. In practice, issuing bundled multi-coupons is more efficient than issuing single coupons...