{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T20:32:46Z","timestamp":1778704366480,"version":"3.51.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030136505","type":"print"},{"value":"9783030136512","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-13651-2_10","type":"book-chapter","created":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T00:42:47Z","timestamp":1549586567000},"page":"169-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Blockchain Implementation of an Attendance Management System"],"prefix":"10.1007","author":[{"given":"Jingyao","family":"Tu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,9]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Chintalapati, S., Raghunadh, M.V.: Automated attendance management system based on face recognition algorithms. In: Proceedings of the IEEE International Conference on Computational Intelligence and Computing Research, pp. 1\u20135. IEEE (2014)","DOI":"10.1109\/ICCIC.2013.6724266"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Duan, Z.: Temporal logic and temporal logic programming. Science Press (2005)","DOI":"10.1007\/11562931_27"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00236-007-0062-z","volume":"45","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1), 43\u201378 (2008)","journal-title":"Acta Informatica"},{"issue":"6","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.1007\/s12083-016-0460-5","volume":"10","author":"Z Duan","year":"2017","unstructured":"Duan, Z., et al.: Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10(6), 1304\u20131322 (2017)","journal-title":"Peer-to-Peer Netw. Appl."},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.09.001","volume":"70","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31\u201361 (2008)","journal-title":"Sci. Comput. Program."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-24654-1_13","volume-title":"Selected Areas in Cryptography","author":"H Gilbert","year":"2004","unstructured":"Gilbert, H., Handschuh, H.: Security analysis of SHA-256 and sisters. In: Matsui, M., Zuccherato, R.J. (eds.) SAC 2003. LNCS, vol. 3006, pp. 175\u2013193. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-24654-1_13"},{"issue":"1","key":"10_CR7","first-page":"118","volume":"95","author":"M Iansiti","year":"2017","unstructured":"Iansiti, M., Lakhani, K.R.: The truth about blockchain. Harvard Bus. Rev. 95(1), 118\u2013127 (2017)","journal-title":"Harvard Bus. Rev."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Kamaraju, M., Kumar, P.A.: Wireless fingerprint attendance management system. In: Proceedings of the IEEE International Conference on Electrical, pp. 1\u20136. IEEE (2015)","DOI":"10.1109\/ICECCT.2015.7226163"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Khatun, A., Haque, A.F., Ahmed, S., Rahman, M.M.: Design and implementation of iris recognition based attendance management system. In: Proceedings of the International Conference on Electrical Engineering and Information Communication Technology, pp. 1\u20136. IEEE (2015)","DOI":"10.1109\/ICEEICT.2015.7307458"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MWC.2004.1269719","volume":"11","author":"KE Lauter","year":"2004","unstructured":"Lauter, K.E.: The advantages of elliptic curve cryptography for wireless security. IEEE Wirel. Commun. 11(1), 62\u201367 (2004)","journal-title":"IEEE Wirel. Commun."},{"key":"10_CR11","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). \n                      http:\/\/www.bitcoin.org\/bitcoin.pdf"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Peng, Z., Duan, Z., Qi, J.J., Cao, Y., Lv, E.: HP2P: a hybrid hierarchical P2P network. In: Proceedings of the International Conference on the Digital Societ, p. 18. IEEE (2007)","DOI":"10.1109\/ICDS.2007.20"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-540-24676-3_32","volume-title":"Advances in Cryptology - EUROCRYPT 2004","author":"M Szydlo","year":"2004","unstructured":"Szydlo, M.: Merkle tree traversal in log space and time. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol. 3027, pp. 541\u2013554. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-24676-3_32"},{"issue":"12","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1206","DOI":"10.1109\/TSE.2014.2357442","volume":"40","author":"C Tian","year":"2014","unstructured":"Tian, C., Duan, Z., Duan, Z.: Making cegar more efficient in software model checking. IEEE Trans. Softw. Eng. 40(12), 1206\u20131223 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.tcs.2011.12.014","volume":"461","author":"C Tian","year":"2012","unstructured":"Tian, C., Duan, Z., Zhang, N.: An efficient approach for abstraction-refinement in model checking. Theoret. Comput. Sci. 461, 76\u201385 (2012)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR16","first-page":"192","volume":"9","author":"H Xie","year":"2016","unstructured":"Xie, H., Wang, J.: Study on block chain technology and its applications. Netinfo Secur. 9, 192\u2013195 (2016)","journal-title":"Netinfo Secur."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Xu, R., Zhang, L., Zhao, H., Peng, Y.: Design of network media\u2019s digital rights management scheme based on blockchain technology. In: Proceedings of the IEEE International Symposium on Autonomous Decentralized System, pp. 128\u2013133. IEEE (2017)","DOI":"10.1109\/ISADS.2017.21"},{"key":"10_CR18","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-94-017-9558-6_26","volume-title":"Future Information Technology - II","author":"M Zhi","year":"2015","unstructured":"Zhi, M., Mahinderjit Singh, M.: RFID-enabled smart attendance management system. In: Park, J., Pan, Y., Kim, C., Yang, Y. (eds.) Future Information Technology - II. LNEE, vol. 329, pp. 213\u2013231. Springer, Dordrecht (2015). \n                      https:\/\/doi.org\/10.1007\/978-94-017-9558-6_26"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Zyskind, G., Nathan, O., Pentland, A.: Decentralizing privacy: using blockchain to protect personal data. In: Proceedings of the 2015 IEEE Security and Privacy Workshops (SPW), pp. 180\u2013184. IEEE Computer Society (2015)","DOI":"10.1109\/SPW.2015.27"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-13651-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T07:29:56Z","timestamp":1558337396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-13651-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030136505","9783030136512"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-13651-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFL+MSVL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Structured Object-Oriented Formal Language and Method","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofl2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formal-analysis.com\/sofl_msvl\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}