2 search results - page 1 / 1 » Precise and Automated Contract-based Reasoning for Verificat... |
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
CADE
2008
Springer
14 years 4 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...