Sign in
Verification of Privacy Timed Properties in Web Service Protocols.
Karima Mokhtari
Salima Benbernou
Mohand-Said Hacid
Emmanuel Coquery
Frank Leymann
Published in:
IEEE SCC (2) (2008)
Keyphrases
</>
web services
cryptographic protocols
security properties
colored petri nets
privacy preserving
service composition
service providers
petri net
business applications
formal verification
business process
service oriented
statistical databases
privacy concerns
web service composition
formal methods