Formal Analysis of Security in Interactive Systems

  title={Formal Analysis of Security in Interactive Systems},
  author={Siraj Ahmed Shaikh},
Reducing the likelihood of human error in the use of interactive systems is increasingly important. Human errors could not only hinder the correct use and operation, they can also compromise the safety and security of such systems. Hence the need for formal methods to analyze and verify the correctness of interactive systems, particularly with regards to human interaction. This chapter examines the use of formal modeling and analysis of security properties of interactive systems. The reader is… CONTINUE READING