1612 search results - page 193 / 323 » About models of security protocols |
ACISP
2009
Springer
15 years 4 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...
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
SCN
2010
Springer
14 years 8 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
PKC
2009
Springer
15 years 10 months ago
2009
Springer
We take a step towards a more realistic modeling of personal digital signatures, where a human user, his mobile equipment, his PC and a server are all considered as independent pla...
110
Voted
CSFW
2012
IEEE
13 years 17 days ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...