Login / Signup
Formal Specification of Common Criteria Based Access Control Policy Model.
Manpreet Singh
Manjeet Singh Patterh
Published in:
Int. J. Netw. Secur. (2010)
Keyphrases
</>
formal specification
high level
specification language