Proceedings: 1994 IEEE Computer Society Symposium on Research in Security and Privacy, May 16-18, 1994, Oakland, California

Front Cover
IEEE Computer Society Press, 1994 - Computer security - 243 pages

From inside the book

Contents

N Heintze and J D Tygar
12
Eliminating Formal Flows in Automated Information Flow Analysis
30
Simple Timing Channels
56
Copyright

10 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information