Mechanical verification of secure distributed systems in higher order logic

Conference paper

J Alves-Foss and K Levitt

1991 International Workshop on the HOL Theorem Proving System and Its ...

01/01/1991

Metrics

1 Record Views

Title: Mechanical verification of secure distributed systems in higher order logic
Creators: J Alves-Foss
K Levitt
Conference: 1991 International Workshop on the HOL Theorem Proving System and Its ...
Identifiers: 997017319701851
Academic Unit: Computer Science
Language: English
Resource Type: Conference paper