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