In this book the author introduces a novel approach to securing exam systems. He provides an in-depth understanding, useful for studying the security of exams a

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive defi

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems

This volume contains the workshopproceedings of the accompanying workshops of the 14th Financial Cryptograpy and Data Security International Conference 2010, he

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods,