56 search results - page 9 / 12 » Cryptographically verified implementations for TLS |
FMCO
2003
Springer
14 years 19 days ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
ASIAN
2003
Springer
14 years 19 days ago
2003
Springer
We describe a new network service, the “ticket server”. This service provides “tickets” that a client can attach to a request for a network service (such as sending email o...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...