Security and
Safety
Modelling
Search this site
Login
Documents
Author tools:
List
Filter
Type
Year
Filters:
Author
is
Alessandro Bruni
[Clear All Filters]
Conference Papers
Bruni, Alessandro
,
Michal Sojka
,
Flemming Nielson
, and
Hanne Riis Nielson
.
"
Formal Security Analysis of the MaCAN Protocol
." In
Integrated Formal Methods
. Bertinoro, Italy, 2014.
About
Project partners
Workpackage structure
News
Events
Documents
Use cases
Links
Contact