The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
scientific article; zbMATH DE number 6697546
scientific article