A Tool for the Synthesis of Cryptographic Orchestrators (original) (raw)
Related papers
A Platform for Secure and Trustworthy Service Composition
Pattern-Based Design and Verification of Secure Service Compositions
IEEE Transactions on Services Computing, 2017
Incorporating Security Requirements into Service Composition: From Modelling to Execution
Service-Oriented Computing – ICSOC 2007, 2009
Lecture Notes in Computer Science
Synthesis of trustworthy protocol specifications from service specifications
2006
Orchestration under Security Constraints
Formal Methods for Components and Objects, 2011
Automatic synthesis of protocol specifications from service specifications
[1991 Proceedings] Tenth Annual International Phoenix Conference on Computers and Communications
Service Integration towards Security Orchestration
International Journal of Information and Education Technology, 2012
Multi-dimensional Secure Service Orchestration
Lecture Notes in Business Information Processing, 2014
Formal Specification and Verification of Service Composition using LOTOS
Service-oriented Assurance — Comprehensive Security by Explicit Assurances
Advances in Information Security, 2006
A Compose Language-Based Framework for Secure Service Composition
2012 International Conference on Cyber Security, 2012
Secure service orchestration in open networks
Journal of Systems Architecture, 2011
General Framewhork for Secure Service Orchestration ?
2014
Model-checking Web Services Orchestrations using BP-calculus
Electronic Notes in Theoretical Computer Science, 2009
Designing Secure Service Workflows in BPEL
Lecture Notes in Computer Science, 2014
Validating Orchestration of Web Services with BPEL and Aggregate Signatures
Emiliano De Cristofaro, G. Persiano
2008 Sixth European Conference on Web Services, 2008
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology, 2012
An Approach for the Specification, Verification and Synthesis of Secure Systems
Electronic Notes in Theoretical Computer Science, 2007
Towards Automated Secure Web Service Execution
Lecture Notes in Computer Science, 2009
Towards a unified formal model for service orchestration and choreography
2011
Constructing Security Protocol Specifications for Web Services
Intelligent Distributed Computing, Systems …, 2008
Modeling and formal verification framework of Web services composition
2013
Web service orchestration driven by for mal specification
Charif Mahmoudi, Fabrice Mourlin
icics.info