A Formal Model for Compliance Verification of Service Compositions.

Heerko Groefsema Nick van Beest Marco Aiello

Published in: IEEE Trans. Serv. Comput. (2018)

Keyphrases

formal model
service compositions
service providers
web services
model checking
signature verification
security properties
formal verification
verification method
neural network
service composition
security patterns
face verification
probabilistic knowledge