Roscoe, A., & Broadfoot, P. (1999). Proving security protocols with model checkers by data independence techniques.
Lua i Stíl Chicago (17ú heag.)Roscoe, A., agus P. Broadfoot. Proving Security Protocols with Model Checkers by Data Independence Techniques. 1999.
Lua MLA (9ú heag.)Roscoe, A., agus P. Broadfoot. Proving Security Protocols with Model Checkers by Data Independence Techniques. 1999.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.