ACM Transactions on Computer Systems (TOCS)
A Hookup Theorem for Multilevel Security
IEEE Transactions on Software Engineering
Shared resource matrix methodology: an approach to identifying storage and timing channels
ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes
Communications of the ACM
A note on the confinement problem
Communications of the ACM
The transfer of information and authority in a protection system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Hi-index | 0.00 |
The Computer Security Foundations Workshop VI was held during June 15-17, 1993 in Franconia, New Hampshire. This is an annual workshop with the purpose of "bring[ing] together researchers to explore fundamental issues in computer security" [13]. Every year since its inception, the workshop has been limited to forty participants, the majority of whom present papers or speak on panels. The setting is informal with plenty of time for technical discussion.