Concepedia
Statistics
Publications
1
Citations
50
H-Index
Active since
1977
K. N. Levitt is an author specializing in data security, engineering, and formal verification.
Top concepts
SecurityEngineeringVerificationData SecurityComputer ScienceFormal VerificationSystem-level DesignInformation Security
Publications per year
1977–1977
Proving multilevel security of a system design
Richard J. Feiertag, K. N. Levitt, L. Robinson · 1977 · 50 citations
Security Modelling, Engineering, Multilevel Security +9
1–1 of 1