• Calculating information leakage using model checking tools 

    Chen, Jia (University of Missouri--Columbia, 2014)
    A confidential program should not allow any information about its secret inputs to be inferred from its public outputs. As such confidentiality is difficult to achieve in practice, it has been proposed in literature to ...
  • Dynamic agent safety logic : theory and applications 

    Ahrenbach, Seth (University of Missouri--Columbia, 2019)
    Modal logic is a family of logics for reasoning about relational structures, broadly construed. It sits at the nexus of philosophy, mathematics, software engineering, and economics. By modeling a target domain as a relational ...