most citedRe-verification of a Lip Synchronization Protocol using Robust Reachability

4 citations · 7 across the 2 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2013★ 3 cited

ADTool: Security Analysis with Attack-Defense Trees (Extended Version)

Barbara Kordy, Piotr Kordy, Sjouke Mauw +1

The ADTool is free, open source software assisting graphical modeling and quantitative analysis of security, using attack-defense trees. The main features of the ADTool are easy cr…