56 search results - page 9 / 12 » Cryptographically verified implementations for TLS |
98
Voted
FMCO
2003
Springer
15 years 2 months 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
15 years 4 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...
65
Voted
DSN
2005
IEEE
15 years 3 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
15 years 2 months 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
15 years 1 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...