LEADER 01507nam 2200457 450 001 9910624307603321 005 20231110215856.0 010 $a3-031-20917-6 035 $a(MiAaPQ)EBC7132880 035 $a(Au-PeEL)EBL7132880 035 $a(CKB)25299342000041 035 $a(PPN)266348580 035 $a(EXLCZ)9925299342000041 100 $a20230319d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aProvable and practical security $e16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, proceedings /$fedited by Chunpeng Ge and Fuchun Guo 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$dİ2022 215 $a1 online resource (292 pages) 225 1 $aLecture Notes in Computer Science ;$vv.13600 300 $aIncludes index. 311 08$aPrint version: Ge, Chunpeng Provable and Practical Security Cham : Springer,c2022 9783031209161 410 0$aLecture Notes in Computer Science 606 $aComputer security 606 $aData encryption (Computer science) 615 0$aComputer security. 615 0$aData encryption (Computer science) 676 $a016.391 702 $aGe$b Chunpeng 702 $aGuo$b Fuchun 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910624307603321 996 $aProvable and practical security$92113467 997 $aUNINA