On the verification of security-aware E-services (Q429592): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jsc.2011.12.033 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.033 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1972230883 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relational transducers for electronic commerce / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4508935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4052071 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4809070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model-theoretic methods in combined constraint satisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4415096 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding effectively propositional logic using DPLL and substitution sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the verification of security-aware E-services / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2848067 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3490936 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification of relational transducers for electronic commerce / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Saturation of YAGO / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4259971 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combining nonstably infinite theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751379 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JSC.2011.12.033 / rank
 
Normal rank

Latest revision as of 17:18, 9 December 2024

scientific article
Language Label Description Also known as
English
On the verification of security-aware E-services
scientific article

    Statements

    On the verification of security-aware E-services (English)
    0 references
    0 references
    20 June 2012
    0 references
    relational transducers
    0 references
    access control policies
    0 references
    constraint logic programs
    0 references
    Bernays-Schönfinkel-Ramsey class
    0 references
    model completeness
    0 references
    0 references
    0 references
    0 references

    Identifiers