Showing 1 - 3 of 3 Results
1.
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgiu... by Barthe, Gilles, Datta, Anup... ISBN: 9783642294198 List Price: $72.00
3.
Analysis Techniques for Information Security by Datta, Anupam, Jha, Somesh,... ISBN: 9783031012068