4 search results - page 1 / 1 » fosad 2000 |
FOSAD
2000
Springer
13 years 10 months ago
2000
Springer
FOSAD
2000
Springer
13 years 10 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...
FOSAD
2000
Springer
13 years 10 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 10 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...