RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
A rewriting-based inference system for the NRL Protocol analyzer and its meta-logical properties
Theoretical Computer Science - Automated reasoning for security protocol analysis
Narrowing and Rewriting Logic: from Foundations to Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
Electronic Notes in Theoretical Computer Science (ENTCS)
Variant Narrowing and Equational Unification
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination of narrowing revisited
Theoretical Computer Science
Mathematical Service Trading Based on Equational Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |