Adversarial logic

DOI10.1007/978-3-031-22308-2_19MaRDI QIDQ6109430zbMATH OpenFDO

Authors Julien Vanegue

Publication date 28 July 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-22308-2_19

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cryptography (94A60)

Recommendations

• Logical modes of attack in argumentation networks
• scientific article; zbMATH DE number 1852916
• Modelling defeasible reasoning by means of adaptive logic games
• Adversarial Reasoning
• scientific article; zbMATH DE number 1269578
• Adelic uncertainty logic
• Modeling adversaries in a logic for security protocol analysis
• Structured argumentation dynamics. Undermining attacks in default justification logic

Cites work

• A calculus for cryptographic protocols: The spi calculus
• Abstract interpretation and application to logic programs
• An abstract interpretation framework for input data usage
• An axiomatic basis for computer programming
• First-order dynamic logic
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• Local reasoning about the presence of bugs: incorrectness separation logic
• On algebra of program correctness and incorrectness
• On the security of public key protocols
• Relational thread-modular static value analysis by abstract interpretation
• Reverse Hoare logic

Cited in

(2)

• Logic for reasoning about bugs in loops over data sequences (IFIL)
• Adversarial reachability for program-level security analysis

This page was built for publication: Adversarial logic

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