Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

The Compositional Security Checker: a tool for the verification of information flow security properties

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Focardi, R. ; Dipt. di Matematica Appl. e Inf, Univ. ca Foscari di Venezia, Mestre, Italy ; Gorrieri, R.

Author(s)

Focardi, R.
Dipt. di Matematica Appl. e Inf, Univ. ca Foscari di Venezia, Mestre, Italy
Gorrieri, R.