{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:24:35Z","timestamp":1781105075127,"version":"3.54.1"},"reference-count":13,"publisher":"IGI Global Scientific Publishing","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7,1]]},"abstract":"<p>A sensor network consists of a large number of sensor nodes, which are spread over a geographical area. Sensor networks have found their way into many applications, from military domains to traffic or environmental monitoring, and as sensor networks reach toward wide spread deployment, security becomes a major concern. In this regard, one needs to be sure about the confidentiality, authenticity and tamper-proof of data. The research thus far has focused on how to deploy sensor networks so that they can work efficiently; however, the focus of this paper is on sensor networks\u2019 security issues. In this paper, the authors propose a formal model to design and analyze the secure sensor network system. The model is based on an augmented Petri net formalism called Extended Elementary Object System. This proposed secure sensor network model has a multi-layered structure consisting of sink node layer, sensor node layer and security mechanism layer. At the security mechanism layer, a synchronous firing mechanism is utilized as a security measure to detect malicious node attacks to sensor data and information flow. In addition, the model applies SNEP protocol for authentication and confidentiality of sensor data.<\/p>","DOI":"10.4018\/jcini.2010070101","type":"journal-article","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T18:39:57Z","timestamp":1283884797000},"page":"1-17","source":"Crossref","is-referenced-by-count":0,"title":["Modeling a Secure Sensor Network Using an Extended Elementary Object System"],"prefix":"10.4018","volume":"4","author":[{"given":"Vineela","family":"Devarashetty","sequence":"first","affiliation":[{"name":"University of Illinois at Chicago, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeffrey J.P.","family":"Tsai","sequence":"additional","affiliation":[{"name":"University of Illinois at Chicago, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lu","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Illinois at Chicago, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Du","family":"Zhang","sequence":"additional","affiliation":[{"name":"California State University at Sacramento, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jcini.2010070101-0","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2002.1024422"},{"key":"jcini.2010070101-1","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-8705(03)00008-8"},{"key":"jcini.2010070101-2","doi-asserted-by":"crossref","unstructured":"Lakos, C. (2001). Object Oriented Modeling with Object Petri Nets. In G. Agha, F. D. Cindio, & G. Rozenberg (Eds.), Concurrent Object-Oriented Programming and Petri Nets (LNCS 2001, pp. 1-37). Berlin: Springer Verlag.","DOI":"10.1007\/3-540-45397-0_1"},{"key":"jcini.2010070101-3","unstructured":"Levis, P., Gay, D., & Culler, D. (2005, May). Active Sensor Networks. In Proceedings of the 2nd Symposium on Networked Systems Design & Implementation (USENIX) (pp. 343-356)."},{"key":"jcini.2010070101-4","unstructured":"Levis, P., & Lee, N. (n.d.). TOSSIM: A Simulator for TinyOS Networks. Retrieved from http:\/\/www.eecs.berkeley.edu\/~pal\/pubs\/nido.pdf"},{"key":"jcini.2010070101-5","doi-asserted-by":"crossref","DOI":"10.1002\/047168659X.ch2","article-title":"Wireless Sensor Networks","author":"F. L.Lewis","year":"2004","journal-title":"Smart Environments: Technologies, Protocols, and Applications"},{"issue":"1","key":"jcini.2010070101-6","first-page":"180","article-title":"Formal Modeling and Analysis of Secure Mobile Agent Systems. IEEE Transactions on System, Man, and Cybernetics","volume":"38","author":"L.Ma","year":"2008","journal-title":"Part A"},{"key":"jcini.2010070101-7","doi-asserted-by":"crossref","unstructured":"Murata, T. (1989). Petri Nets: Properties, Analysis, and Applications. In Proceedings of the IEEE (pp. 541-580).","DOI":"10.1109\/5.24143"},{"key":"jcini.2010070101-8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016598314198"},{"key":"jcini.2010070101-9","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2004.1368897"},{"key":"jcini.2010070101-10","doi-asserted-by":"crossref","unstructured":"Valk, R. (1998). Petri Nets as Token Objects - An Introduction to Elementary Object Nets. In Proceedings of the 19th International Conference on Application and Theory of Petri Nets (ICATPN'98) (LNCS 1420, pp. 1-25).","DOI":"10.1007\/3-540-69108-1_1"},{"key":"jcini.2010070101-11","doi-asserted-by":"crossref","DOI":"10.1201\/9780849379253-20","article-title":"Wireless Sensor Network Security: A Survey","author":"J. P.Walters","year":"2007","journal-title":"Security in Distributed, Grid, Mobile and Pervasive Computing"},{"issue":"3","key":"jcini.2010070101-12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jcini.2007070101","article-title":"Toward Theoretical Foundations of Autonomic Computing.","volume":"1","author":"Y.Wang","year":"2007","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"}],"container-title":["International Journal of Cognitive Informatics and Natural Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=45181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T02:38:10Z","timestamp":1711766290000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jcini.2010070101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2010,7,1]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,7]]}},"URL":"https:\/\/doi.org\/10.4018\/jcini.2010070101","relation":{},"ISSN":["1557-3958","1557-3966"],"issn-type":[{"value":"1557-3958","type":"print"},{"value":"1557-3966","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,1]]}}}