Effective reduction of cryptographic protocols specification for model-checking with Spin
Urszula Krawczyk, Piotr Sapiecha · Annales Universitatis Mariae Curie-Sklodowska sectio AI – Informatica · 2011
We’ve built this digital research platform to provide academics everywhere with fast, stable and secure digital access to our library of over 110,000 scholarly books and 800,000 journal articles. We’ve tested the platform in close cooperation with leading academic institutions. If you have any questions or you notice something doesn’t quite work as it should, please visit our Help/FAQ page and let us know.