scientific article; zbMATH DE number 7361813

MaRDI QIDQ4994887zbMATH OpenFDO

Authors Wojciech Jamroga, Matthijs Melissen, Henning Schnoor

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0836, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR2014.3

Mathematics Subject Classification ID

Computer security (68M25) Noncooperative games (91A10) Applications of game theory (91A80)

Recommendations

• scientific article; zbMATH DE number 1487487
• Unwinding Possibilistic Security Properties
• Security protocols and their properties
• Safe equivalences for security properties
• scientific article; zbMATH DE number 1746671
• scientific article; zbMATH DE number 2111736
• Secure Information Flow as a Safety Property
• scientific article; zbMATH DE number 1497866
• Towards the correctness of security protocols

Cited in

(3)

• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• Unwinding Possibilistic Security Properties
• Foundations of Security Analysis and Design II

This page was built for publication:

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