5255 search results - page 451 / 1051 » Formal Methods for Privacy |
170
Voted
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
154
click to vote
PDCAT
2004
Springer
16 years 6 days ago
2004
Springer
There are many situations in which it is desirable to protect a piece of software from illegitimate tampering once it gets distributed to the users. Protecting the software code me...
271
Voted
NDSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this work we describe a method for fully distributed authentication using public key cryptography within the Kerberos ticket framework. By distributing most of the authenticati...
166
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In Ciphertext Policy Attribute based Encryption scheme, the encryptor can fix the policy, who can decrypt the encrypted message. The policy can be formed with the help of attribut...
195
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The paper presents selected security aspects related to confidentiality, privacy, trust and authenticity issues of a distributed, agent-based computing. Particular attention has be...