I2MANET Security Logical Specification Framework.

Yasir Abdelgadir Mohamed

Published in: Int. Arab J. Inf. Technol. (2012)

Keyphrases

main contribution
high level
logical framework
specification language
knowledge base
anomaly detection
information security
formal specification
trust management