718 search results - page 35 / 144 » Operational Semantics of Security Protocols |
CCS
2006
ACM
15 years 1 months ago
2006
ACM
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...
132
click to vote
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
69
Voted
DBSEC
2000
14 years 11 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
101
Voted
IDMS
1997
Springer
15 years 1 months ago
1997
Springer
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In the process of platform attestation, a Trusted Platform Module is a performance bottleneck, which causes enormous delays if multiple simultaneously attestation requests arrive ...