Server-process restrictiveness in HOL

This publication has 4 references indexed in Scilit:

• Mechanical Verification Of Secure Distributed systems In Higher Order Logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A hookup theorem for multilevel security
  IEEE Transactions on Software Engineering, 1990
• Automating Recursive Type Definitions in Higher Order Logic
  Published by Springer Nature ,1989
• Foundations of Ulysses: The Theory of Security
  Published by Defense Technical Information Center (DTIC) ,1988