Formal Analysis of the VPN Service Management System.

Sun Wenhui Liu Feng Dai Gang Zhang Jinyu

Published in: PDCAT (2007)

Keyphrases

formal analysis
management system
formal methods
decision support system
agent model
service providers
service oriented
network security
database systems
ban logic
database
artificial intelligence
web services
case study