Login / Signup

Pattern-Based Design and Verification of Secure Service Compositions.

Luca PinoGeorge SpanoudakisMaria KrotsianiKhaled Mahbub
Published in: IEEE Trans. Serv. Comput. (2020)
Keyphrases
  • design decisions
  • functional verification
  • lightweight
  • computer aided
  • genetic algorithm
  • building blocks
  • security issues
  • formal verification
  • verification method