Login / Signup

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

Achyanta SarmahShyamanta M. HazarikaSmriti 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