Sciweavers

FOSAD
2009
Springer
14 years 3 months ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...
FOSAD
2009
Springer
14 years 3 months ago
Verification of Concurrent Programs with Chalice
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
K. Rustan M. Leino, Peter Müller, Jan Smans
FOSAD
2009
Springer
14 years 6 months ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò
FOSAD
2009
Springer
14 years 6 months ago
Resource Usage Analysis and Its Application to Resource Certification
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
FOSAD
2009
Springer
14 years 6 months ago
Logic in Access Control (Tutorial Notes)
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
Martín Abadi