Sciweavers

EGCDMAS
2004
147views ECommerce» more  EGCDMAS 2004»
14 years 1 months ago
Should We Prove Security Policies Correct?
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
Sebastiano Battiato, Giampaolo Bella, Salvatore Ri...