Center for High Assurance Computing Systems (CHACS) Publications

<Title>CHACS Publications</Title>

<H1>Center for High Assurance Computing Systems (CHACS) Publications</H1>


<H2>1990</H2>
Gray, James ``Information Sharing in Secure Systems,'' Proc. IEEE
Computer Security Foundations Workshop III, IEEE Press, 1990.
<P>

Gray, James ``Probabilistic Interference,'' Proc. 1990 IEEE Symposium
on Security and Privacy, IEEE Press, 1990.
<P>

McLean, J. ``The Specification and Modeling of Computer Security,''
Computer, vol. 23, no. 1, Jan. 1990.
<a href="1990mclean-computer.ps">
 PostScript</a>
<P>

McLean, J. ``Security Models and Information Flow,'' Proceedings of
1990 IEEE Symposium on Research in Security and Privacy, IEEE
Press, 1990. (IEEE Computer Society Outstanding Paper Award)
<a href="1990mclean-sp.ps">
 PostScript</a>
<P>
Moskowitz, Ira ``Quotient States and Probabilistic Channels,'' Proc.
IEEE Computer Security Foundations Workshop III, IEEE Press, 1990. 
<P>

Paul Syverson, A Logic for the Analysis of Cryptographic Protocols
NRL Formal Report 9305, December 1990

<blockquote>
A corrected version of the logic and semantics from
"Formal Semantics for Logics of Cryptographic Protocols" is presented.
Also presented are soundness and completeness proofs for the logic.
</blockquote>
Paul Syverson,
``Formal Semantics for Logics of Cryptographic Protocols,''
Proceedings of the Computer Security Foundations Workshop III
Franconia, NH June 1990. IEEE CS Press (Los Alamitos CA, 1990)

<blockquote>
A first order, epistemic logic for representing
and analyzing cryptographic protocols is presented along
with an associated model-theoretic semantics. The formal
language presented has distinct means to represent knowledge of an
individual word, e.g., the ability to recognize or produce a
decryption key, and propositional knowledge. A sample analysis of
a protocol is given.  
</blockquote>