Security Specification at Process Level.

Stéphanie Chollet Philippe Lalanda

Published in: IEEE SCC (1) (2008)

Keyphrases

process model
higher level
conceptual model
security analysis
databases
high level
formal specification
formal methods
security systems
security level