Formal aspects in security and trust
by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider

No description available.
Formal methods (Computer science)TrustCongressesComputer security
by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider

No description available.