A formal model to aid documenting and harmonizing of information security requirements.

Jussipekka Leiwo Yuliang Zheng

Published in: SEC (1997)

Keyphrases

formal model
security requirements
security properties
artificial intelligence
software engineering
access control
security patterns