72
Voted
HOLOMAS
2007
Springer
15 years 3 months ago
2007
Springer
We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Securityrelated exceptions are identifie...