Synthesis of secure adaptors

DOI10.1016/j.jlap.2011.08.001zbMath1236.68062OpenAlexW1998187520MaRDI QIDQ764381

D. Kharzeev

Publication date: 13 March 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.08.001

zbMATH Keywords

security verificationmodel-based adaptationweb service orchestrationWS-securityadaptor synthesispartial model checking

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Parametrized automata simulation and application to service composition

Uses Software

• ITACA

Cites Work

• Unnamed Item
• Unnamed Item
• Contracts for security adaptation
• Analysis of security protocols as open systems
• On the semantics of software adaptation
• On the synthesis of discrete controllers for timed systems
• Coordination Models and Languages

This page was built for publication: Synthesis of secure adaptors