On the verification of security-aware E-services

DOI10.1016/J.JSC.2011.12.033MaRDI QIDQ429592zbMATH OpenOpenAlexFDO

Authors Silvio Ranise

Publication date 20 June 2012

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2011.12.033

zbMATH Keywords

model completenessaccess control policiesconstraint logic programsrelational transducersBernays-Schönfinkel-Ramsey class

Mathematics Subject Classification ID

Logic in computer science (03B70) Internet topics (68M11) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Verification of relational transducers for electronic commerce
• A semantics for web services authentication
• Relational transducers for electronic commerce
• A semantics for web services authentication
• Requirements-driven verification of web services

Cites work

• scientific article; zbMATH DE number 4164128 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1332644 (Why is no real title available?)
• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• scientific article; zbMATH DE number 1515855 (Why is no real title available?)
• scientific article; zbMATH DE number 2090311 (Why is no real title available?)
• Automated Reasoning
• Combining nonstably infinite theories
• Combining superposition, sorts and splitting
• Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
• Deciding effectively propositional logic using DPLL and substitution sets
• Model theory.
• Model-theoretic methods in combined constraint satisfiability
• Modeling and model checking web services
• On the saturation of YAGO
• On the verification of security-aware E-services
• Relational transducers for electronic commerce
• Verification of relational transducers for electronic commerce

Cited in

(9)

• Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
• On the verification of security-aware E-services
• scientific article; zbMATH DE number 2036322 (Why is no real title available?)
• Verification of relational transducers for electronic commerce
• Parametrized automata simulation and application to service composition
• A formal dynamic verification of choreographed web services conversations
• Requirements-driven verification of web services
• scientific article; zbMATH DE number 1980999 (Why is no real title available?)

Describes a project that uses

Uses Software

• Binder
• DKAL
• YAGO

This page was built for publication: On the verification of security-aware E-services

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