Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Anca D. Jurcut

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks

English