×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [formal security analysis]
Home >
formal security analysis
Code Signing Best Practices
611 views
A Medical Database Case Study for Reflective Database Access Control Lars E. Olson 1, Carl A. Gunter 1, and Sarah Peterson Olson 2 1 University of Illinois.
214 views
1 Using Coloured Petri Nets to Simulate DoS-resistant protocols 7 th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools 2006 Suratose.
214 views