On the verification of security-aware E-services

DOI10.1016/J.JSC.2011.12.033zbMATH Open1241.94030OpenAlexW1972230883MaRDI QIDQ429592FDOQ429592

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

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

zbMATH Keywords

model completenessaccess control policies[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Bernays-Sch%EF%BF%BD%EF%BF%BDnfinkel-Ramsey+class&go=Go Bernays-Sch��nfinkel-Ramsey class]constraint logic programsrelational transducers

Mathematics Subject Classification ID

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

Cites Work

• Verification of relational transducers for electronic commerce
• Relational transducers for electronic commerce
• Model theory.
• Title not available (Why is that?)
• Combining superposition, sorts and splitting
• Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
• Title not available (Why is that?)
• Combining nonstably infinite theories
• Title not available (Why is that?)
• Modeling and model checking web services
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the verification of security-aware E-services
• Title not available (Why is that?)
• Automated Reasoning
• Model-theoretic methods in combined constraint satisfiability
• On the saturation of YAGO
• Deciding effectively propositional logic using DPLL and substitution sets

Cited In (7)

• 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
• Title not available (Why is that?)
• Verification of relational transducers for electronic commerce
• Parametrized automata simulation and application to service composition
• Title not available (Why is that?)

Uses Software

• YAGO
• DKAL
• Binder

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)