2043 search results - page 137 / 409 » Reasoning About Security Models |
106
Voted
IMA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Identity-based encryption (IBE) is a special asymmetric encryption method where a public encryption key can be an arbitrary identifier and the corresponding private decr...
112
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
115
Voted
DMKD
2003
ACM
15 years 6 months ago
2003
ACM
Homeland security measures are increasing the amount of data collected, processed and mined. At the same time, owners of the data raised legitimate concern about their privacy and...
102
click to vote
ACISP
2009
Springer
15 years 7 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
92
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...