Synthesis of secure adaptors

DOI10.1016/J.JLAP.2011.08.001zbMATH Open1236.68062OpenAlexW1998187520MaRDI QIDQ764381FDOQ764381

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

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

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)

Cites Work

• Title not available (Why is that?)
• On the synthesis of discrete controllers for timed systems
• Contracts for security adaptation
• Coordination Models and Languages
• Analysis of security protocols as open systems
• On the semantics of software adaptation
• Title not available (Why is that?)

Cited In (1)

• Parametrized automata simulation and application to service composition

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)