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: |