Login / Signup
Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model.
Qingliang Chen
Kaile Su
Chanjuan Liu
Yinyin Xiao
Published in:
ICSS (2010)
Keyphrases
</>
computational model
mathematical model
web services
management system
formal model
input data
statistical model
experimental data
conceptual model
service discovery
knowledge base
database systems
similarity measure
data model
cost function