C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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