Synthesis of secure adaptors

DOI10.1016/J.JLAP.2011.08.001MaRDI QIDQ764381zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Contracts for security adaptation
• Automatic Generation of Adaptation Contracts
• scientific article; zbMATH DE number 1860627
• On the semantics of software adaptation
• Adaptation of Open Component-Based Systems

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1941256 (Why is no real title available?)
• Analysis of security protocols as open systems
• Contracts for security adaptation
• Coordination Models and Languages
• On the semantics of software adaptation
• On the synthesis of discrete controllers for timed systems

Cited in

(1)

• Parametrized automata simulation and application to service composition

Describes a project that uses

Uses Software

• ITACA

This page was built for publication: Synthesis of secure adaptors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764381)