Shamal Faily has recently signed a contract with Springer to write a new book about his  research in Security-by-Design and CAIRIS. The book, entitled...