Normal view
MARC view
Data encryption (Computer science) Mathematics(Topical Term)
Machine generated authority record
Work cat.: (UDJG)67377: HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY, 2023.