IEEE Symposium on Security and Privacy

Front Cover
IEEE Computer Society Press - Computers
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

On Unifying Some Cryptographic Protocol Logics
14
Eliminating Formal Flows in Automated Information Flow Analysis
30
Simple Timing Channels
56
Copyright

10 other sections not shown

Common terms and phrases

Bibliographic information