المؤلفون: Tran, Dinh Duong

مصطلحات موضوعية: formal verification, proof scores, post-quantum cryptographic protocols, algebraic language, IPSG

وصف الملف: application/pdf

URL الوصول: https://ndlsearch.ndl.go.jp/books/R100000039-I13587425

Degree: 博士(情報科学) -- 北陸先端科学技術大学院大学

المؤلفون: Mamann, Hadriel

المساهمون: Sorbonne université, Laurat, Julien, Diamanti, Eleni

مصطلحات موضوعية: Atomes froids, Mémoires quantiques, Réseaux quantiques, Protocoles de cryptographie quantique, Monnaie quantique, Multiplexage spatial, Cold atoms, Quantum memories, Quantum networks, Quantum cryptographic protocols, Quantum money, Spatial multiplexing, 535.15, 005.824

Relation: http://www.theses.fr/2024SORUS120/document

الاتاحة: http://www.theses.fr/2024SORUS120/document

المؤلفون: Tao Shang, Ke Li, Jianwei Liu

المصدر: Entropy; Volume 20; Issue 4; Pages: 291

مصطلحات موضوعية: measurement-device independency, quantum cryptographic protocols, quantum homomorphic signature, continuous variables

وصف الملف: application/pdf

Relation: Quantum Information; https://dx.doi.org/10.3390/e20040291

الاتاحة: https://doi.org/10.3390/e20040291

المؤلفون: Feng, Yuan, Ying, Mingsheng

المساهمون: Yuan Feng and Mingsheng Ying

مصطلحات موضوعية: Quantum cryptographic protocols, Verification, Bisimulation, Security

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.441

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2015.441
https://nbn-resolving.org/urn:nbn:de:0030-drops-53936
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.441

المؤلفون: TRAN, DINH DUONG

المساهمون: とらん, でぃん どぅおんぐ

مصطلحات موضوعية: formal verification, proof scores, post-quantum cryptographic protocols, algebraic language, IPSG

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10119/18777

الاتاحة: http://hdl.handle.net/10119/18777