AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sjouke Mauw

Sjouke Mauw

Université du Luxembourg - Esch-sur-Alzette / Luxembourg
Engineering & Technology / Computer Science
AD Scientific Index ID: 1869150
University of Luxembourg Universität Luxemburg
person_outline Sjouke Mauw's MOST POPULAR ARTICLES
1-) Foundations of attack trees International Conference on Information Security and Cryptology, 186-198, 2005
2-) Foundations of attack–defense trees International Workshop on Formal Aspects in Security and Trust, 80-95, 2010
3-) Attack–defense trees Journal of logic and computation 24 (1), 55-87, 2014
4-) Operational Semantics and Verification of Security Protocols Operational Semantics and Verification of Security Protocols, 2012
5-) An algebraic semantics of basic message sequence charts The computer journal 37 (4), 269-277, 1994