A pump for rapid, reliable, secure communication
CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
IEEE Transactions on Software Engineering
On probabilistic timed automata
Theoretical Computer Science
Protocol Verification as a Hardware Design Aid
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Verifying Automata Specifications of Probabilistic Real-time Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A framework for MLS interoperability
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
An architecture for multilevel secure interoperability
ACSAC '97 Proceedings of the 13th Annual Computer Security Applications Conference
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
Formal Aspects in Security and Trust
| Hi-index | 0.00 |