Modeling Security-Enhanced Linux Policy Specifications for Analysis.

Myla Archer Elizabeth I. Leonard Matteo Pradella

Published in: DISCEX (2) (2003)

Keyphrases

statistical analysis
high level
risk assessment
formal specification
formal analysis
databases
case study
image analysis
open source
database management systems
risk analysis