OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
ACSAC
1997
IEEE
13 years 11 months ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
FOSAD
2000
Springer
13 years 11 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...
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...