Formal Analysis of Software Security System Architectures.

Yi Deng Jiacun Wang Jeffrey J. P. Tsai

Published in: ISADS (2001)

Keyphrases

formal analysis
agent model
formal methods
ban logic
machine learning
database
artificial intelligence
information systems
database systems
wireless sensor networks
software engineering
fine grained
wireless networks
software systems