Rule based analysis of computer security /
Main Author: | |
---|---|
Corporate Author: | |
Format: | Thesis Book |
Language: | English |
Published: |
Cambridge, Mass. :
Massachusetts Institute of Technology, Laboratory for Computer Science,
c1987
|
Series: | MIT/LCS/TR ;
401 |
Subjects: |