---

Information security is critical to economies, communities, governments, social networking and safety of citizens. With the advent of the Internet and the rapid development of Internet-based application such as e-commerce, e-government and social network systems, it is paramount that mechanisms are put in place to ensure the security of information stored and exchanged in such a worldwide and open distributed system. This book presents a unified compositional formal framework for the specification of the functional, temporal and security requirements of systems. This provides an effective way of integrating security concerns into the system requirements and to address them early in the system development life cycle so that security holes can be detected and fixed timely. The book contains a great deal of material for students, lecturers, researchers and practitioners in the field of information security.

---

Francois Siewe is a senior research fellow at De Montfort University (DMU) in UK. He received his PhD in computer science from DMU in 2005. He obtained his Bsc, Msc and Doctorat de Troisieme Cycle in computer science from the University of Yaounde I, Cameroon, in 1990, 1992 and 1997. Research interests: computer security, ubiquitous computing.

---