343 search results - page 44 / 69 » Formal security analysis of PKCS |
151
click to vote
TMC
2012
13 years 2 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
ISW
2001
Springer
15 years 4 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
102
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
103
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...