PS-LTL for Constraint-Based Security Protocol Analysis.

Ricardo Corin, Ari Saptawijaya, Sandro Etalle

Browse the full ICLP paper archive.