Verifying security protocols as planning in logic programming (2001)

Cached

Download Links

by Fabio Massacci
Venue:ACM Transactions on Computational Logic
Citations:32 - 6 self