Applying formal methods to an information security device: An experience report.

Details

Language :

English

ISBNs :

9780769504186

Database :

Complementary Index

Journal :

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering

Publication Type :

Conference

Accession number :

92231816

Full Text :

https://doi.org/10.1109/HASE.1999.809478