7Khadem Mohtaram A. Classification, Formalization and Automatic Verification of Untraceability in RFID Protocols[D].6cole Polytechnique de Montr6al,2013.
8Wheaton Ken, Murray Art. Why smart cities need smart libraries:Stories from the Alaskan frontier[J].KM World, 2012(4) : 16.
9Infor Library and Information Solutions.The City ofParis Library Network Chooses Vubis Smart[EB/OL]. [2013 - 11 - 17].http://www.librarytechnology.org/hg - displaytext.pl?RC=13028.