LEADER 01217nam 2200421 450 001 9910157616803321 005 20200416232736.0 010 $a3-527-69530-3 010 $a3-527-69529-X 035 $a(CKB)4330000000010671 035 $a(MiAaPQ)EBC4773830 035 $a(PPN)233354190 035 $a(EXLCZ)994330000000010671 100 $a20170113h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCyclodextrins $eproperties and applications /$fWanda Sliwa and Tomasz Girek 210 1$aWeinheim, Germany :$cWiley-VCH,$d2017. 210 4$dİ2017 215 $a1 online resource (337 pages) $cillustrations 311 $a3-527-69528-1 311 $a3-527-33980-9 320 $aIncludes bibliographical references at the end of each chapters and index. 606 $aCyclodextrins 615 0$aCyclodextrins. 676 $a547.7815 700 $aS?liwa$b Wanda$f1931-$01215581 702 $aGirek$b Tomasz 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910157616803321 996 $aCyclodextrins$92808853 997 $aUNINA LEADER 02056nam 2200481I 450 001 9910704929403321 005 20250507174206.0 035 $a(CKB)5470000002446454 035 $a(OCoLC)868079946 035 $a(EXLCZ)995470000002446454 100 $a20140114d2012 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEffective approaches for advancing congestion pricing in a metropolitan region$ea primer on lessons learned and best practices /$fauthors, Anjali Mahendra, Michael Grant, Myron Swisher 210 1$aWashington, DC :$cU.S. Department of Transportation, Federal Highway Administration, Office of Operations,$d2012. 215 $a1 online resource (52 unnumbered pages) $ccolor illustrations 300 $aTitle from title screen (viewed on Jan. 14, 2014). 300 $a"FHWA-HOP-12-030." 300 $a"Performing organization, Science Applications International Corporation and ICF Incorporated, LLC"--Technical report documentation page. 300 $a"March 2012"--Page [52]. 320 $aIncludes bibliographical references (page 46). 517 $aEffective approaches for advancing congestion pricing in a metropolitan region 606 $aCongestion pricing$zUnited States 606 $aUser charges$zUnited States 606 $aUrban transportation$zUnited States$xPlanning 615 0$aCongestion pricing 615 0$aUser charges 615 0$aUrban transportation$xPlanning. 700 $aMahendra$b Anjali$01123049 702 $aGrant$b Michael$c(Transportation Planner) 702 $aSwisher$b Myron 712 02$aUnited States.$bFederal Highway Administration.$bOffice of Operations, 712 02$aScience Applications International Corporation, 712 02$aICF Incorporated, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910704929403321 996 $aEffective approaches for advancing congestion pricing in a metropolitan region$93443869 997 $aUNINA LEADER 04401nam 22006615 450 001 9910349277103321 005 20251113194036.0 010 $a3-030-31919-9 024 7 $a10.1007/978-3-030-31919-9 035 $a(CKB)4100000009382620 035 $a(DE-He213)978-3-030-31919-9 035 $a(MiAaPQ)EBC5923130 035 $a(PPN)254987311 035 $a(EXLCZ)994100000009382620 100 $a20190924d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProvable Security $e13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1?4, 2019, Proceedings /$fedited by Ron Steinfeld, Tsz Hon Yuen 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 382 p. 131 illus., 9 illus. in color.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v11821 311 08$a3-030-31918-0 320 $aIncludes bibliographical references and index. 327 $aLattice-based IBE with equality test in standard model -- A critique of game-based de?nitions of receipt-freeness for voting -- One-Round Authenticated Group Key Exchange from Isogenies -- History-Free Sequential Aggregate MAC Revisited -- An E?cient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/O?ine Certi?cateless Aggregate Signature -- Secure Online/O?ine Attribute-based Encryption for IOT Users in Cloud Computing -- Identity-Concealed Authenticated Encryption from Ring Learning With Errors -- Towards Enhanced Security for Certi?cateless Public-key Authenticated Encryption with Keyword Search -- TumbleBit++: A Comprehensive Privacy Protocol Providing Anonymity and Amount-invisibility -- A Lattice-Based Anonymous Distributed E-Cash from Bitcoin -- Plaintext-Veri?ably-Checkable Encryption -- Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem -- Hierarchical Functional Signcryption: Notion and Construction -- FSPVDsse: A Forward Secure Publicly Veri?able Dynamic SSE scheme -- A Hidden Markov Model-Based Method for Virtual Machine Anomaly Detection -- Password-based Authenticated Key Exchange from Standard Isogeny Assumptions -- A centralized digital currency system with rich functions -- A Practical Lattice-Based Sequential Aggregate Signature -- Provably Secure Proactive Secret Sharing Without the Adjacent Assumption -- Space-E?cient and Secure Substring Searchable Symmetric Encryption Using an Improved DAWG -- A Coin-Free Oracle-Based Augmented Black Box Framework -- Chameleon Hash Time-Lock Contract for Privacy Preserving Payment Channel Networks -- Solving ECDLP via List Decoding -- On-demand Privacy Preservation for Cost-E?cient Edge Intelligence Model Training. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019. The 18 full and 6 short papers presented were carefully reviewed and selected from 51 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on ?Practical Security.?. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v11821 606 $aCryptography 606 $aData encryption (Computer science) 606 $aComputers 606 $aComputer networks 606 $aSoftware engineering 606 $aCryptology 606 $aComputing Milieux 606 $aComputer Communication Networks 606 $aSoftware Engineering 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aComputers. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 14$aCryptology. 615 24$aComputing Milieux. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 676 $a005.8 702 $aSteinfeld$b Ron$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYuen$b Tsz Hon$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349277103321 996 $aProvable Security$9772128 997 $aUNINA