Bruno Conchinha, David A. Basin, Carlos Caleiro. Efficient Decision Procedures for Message Deducibility and Static Equivalence. In Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman, editors, Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Volume 6561 of Lecture Notes in Computer Science, pages 34-49, Springer, 2010. [doi]
Abstract is missing.