Nicola Zannone

Fabio Massacci

Samuel Redwine

This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009. The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance.

First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings

Engineering Secure Software and Systems

Fabio Martinelli

Ketil Stølen

William H. Winsborough

This book constitutes the refereed proceedings of the 4th International Conference on Trust Management, iTrust 2006. 30 revised full papers and 4 revised short papers are presented together with 1 keynote paper and 7 trust management tool and systems demonstration reports. Besides technical issues in distributed computing and open systems, topics from law, social sciences, business, and philosophy are addressed.

4th International Conference, ITrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings

Trust Management

Fabio Massacci

Books

Your next favorite book is out there