Browse Dept. of Computer Science by Subject "narrowing-based reachability analysis"
Now showing items 1-1 of 1
(2016-07)Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...