DKAL*: Constructing Executable Specifications of Authorization Protocols presented at ESSoS 2013

by Jean-baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Swamy,

Summary : N/A