
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman
₹5,528

First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of
by Pierpaolo Degano, Joshua D. Guttman
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions.
Description supplied by the publisher.