<?xml version="1.0"?>
<dblp>
<article key="journals/csys/HeydonT94" mdate="2002-01-03">
<author>Allan Heydon</author>
<author>J. D. Tygar</author>
<title>Specifying and Checking UNIX Security Constraints.</title>
<pages>91-112</pages>
<year>1994</year>
<volume>7</volume>
<journal>Computing Systems</journal>
<number>1</number>
<url>db/journals/csys/csys7.html#HeydonT94</url>
</article>
</dblp>
