Verification of secure distributed systems in higher order logic: A modular approach using generic components Page: 1 of 29
This article is part of the collection entitled: Office of Scientific & Technical Information Technical Reports and was provided to UNT Digital Library by the UNT Libraries Government Documents Department.
Extracted Text
The following text was automatically extracted from the image on this page using optical character recognition software:
V
6}iOS'-j(e ■ - ^
UCRL- JC-105791
PREPRINT
Verification of Secure Distributed Systems
in Higher Order Logic
A Modular Approach Using Generic Components
Jim A'lves-Foss
Karl Levitt
Division of Computer Science
University of California, Davis
1991 IEEE Symposium on
Security and Privacy
Oakland, CA
FEB 1 9 i"1
May 13-15, 1991
This is a preprint of a paper intended for publication in. a journal or proceedings. Since
changes may be made before publication, this preprint is made available with the
understanding that it will not be cited or reproduced without the permission of the
author.
5*i« 5 w £ b ie—\\^
DISTRIBUTION OF THIS DOCUMENT IS UNLIMITED
Upcoming Pages
Here’s what’s next.
Search Inside
This article can be searched. Note: Results may vary based on the legibility of text within the document.
Tools / Downloads
Get a copy of this page or view the extracted text.
Citing and Sharing
Basic information for referencing this web page. We also provide extended guidance on usage rights, references, copying or embedding.
Reference the current page of this Article.
Alves-Foss, J. & Levitt, K. Verification of secure distributed systems in higher order logic: A modular approach using generic components, article, January 1, 1991; [Livermore,] California. (https://digital.library.unt.edu/ark:/67531/metadc1094803/m1/1/: accessed April 18, 2024), University of North Texas Libraries, UNT Digital Library, https://digital.library.unt.edu; crediting UNT Libraries Government Documents Department.