Login / Signup
Using Refinement in Formal Development of OS Security Model.
Petr N. Devyanin
Alexey V. Khoroshilov
Victor V. Kuliamin
Alexander K. Petrenko
Ilya V. Shchepetkov
Published in:
Ershov Memorial Conference (2015)
Keyphrases
</>
security model
access control
public key
operating system
security requirements
security analysis
case study
autonomous agents
wavelet transform
software engineering
low cost
anomaly detection
fine grained
provably secure