Security Pattern Lattice: A Formal Model to Organize Security Patterns.

Achyanta Sarmah Shyamanta M. Hazarika Smriti Kumar Sinha

Published in: DEXA Workshops (2008)

Keyphrases

security patterns
formal model
security properties
security requirements
predicate calculus
formal models
information systems
relational databases
early stage