Open Questions (Transcript of Discussion)
Revised Papers from the 8th International Workshop on Security Protocols
Vulnerabilities in Synchronous IPC Designs
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Architectural Refinement and Notions of Intransitive Noninterference
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Access Control and Information Flow in Transactional Memory
Formal Aspects in Security and Trust
Robustly secure computer systems: a new security paradigm of system discontinuity
NSPW '07 Proceedings of the 2007 Workshop on New Security Paradigms
MYSEA: the monterey security architecture
Proceedings of the 2009 ACM workshop on Scalable trusted computing
Intrusion-tolerant fine-grained authorization for Internet applications
Journal of Systems Architecture: the EUROMICRO Journal
The evolution of the arjuna transaction processing system
Dependable and Historic Computing
Carrying goals to newcastle: a tribute to brian randell
Dependable and Historic Computing
| Hi-index | 4.10 |
First Page of the Article