References of "Melissen, Matthijs 40020931"
     in
Bookmark and Share    
See detailGame-theory and Logic for Non-repudiation Protocols and Attack Analysis
Melissen, Matthijs UL

Doctoral thesis (2013)

Detailed reference viewed: 72 (11 UL)
Full Text
Peer Reviewed
See detailIncentives and Rationality in Security of Interaction Protocols
Jamroga, Wojciech UL; Melissen, Matthijs UL; Schnoor, Henning

in PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings (2013)

Detailed reference viewed: 60 (6 UL)
Full Text
Peer Reviewed
See detailFairness in Non-repudiation Protocols
Jamroga, Wojciech UL; Mauw, Sjouke UL; Melissen, Matthijs UL

in Proceedings of STM 2011 (2012)

Detailed reference viewed: 114 (2 UL)
Full Text
Peer Reviewed
See detailDoubtful Deviations and Farsighted Play
Jamroga, Wojciech UL; Melissen, Matthijs UL

in Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (2011)

Detailed reference viewed: 104 (2 UL)
Full Text
Peer Reviewed
See detailThe Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound
Melissen, Matthijs UL

in Proceedings of Formal Grammar 2009 (2011)

Detailed reference viewed: 104 (1 UL)
Full Text
Peer Reviewed
See detailAttack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent
Kordy, Barbara UL; Mauw, Sjouke UL; Melissen, Matthijs UL et al

in Proceedings of GameSec 2010 (2010)

Attack-defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack-defense trees and game theory is made explicit. We show ... [more ▼]

Attack-defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack-defense trees and game theory is made explicit. We show that attack-defense trees and binary zero-sum two-player extensive form game have equivalent expressive power when considering satisfiability, in the sense that they can be converted into each other while preserving their outcome and their internal structure. [less ▲]

Detailed reference viewed: 160 (8 UL)