105 search results - page 8 / 21 » Apply Model Checking to Security Analysis in Trust Managemen... |
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
—Communications are increasingly relying on peer– to–peer models of interaction in which all participating entities have the same level of authority. Such models allow develo...
FOSAD
2000
Springer
15 years 1 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
ICCD
2005
IEEE
15 years 3 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
RE
2007
Springer
15 years 3 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
ESORICS
2002
Springer
15 years 9 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...