Contributions of formal security proofs
Main Author: | |
---|---|
Published: |
University of Cambridge
2003
|
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620085 |
Main Author: | |
---|---|
Published: |
University of Cambridge
2003
|
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620085 |