Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks

Communications in Computer and Information Science

Volumn 294 PART 2, Issue , 2012, Pages 289-301

  Di Mauro, Alessio ^a   Papini, Davide ^a   Vigo, Roberto ^a   Dragoni, Nicola ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

energy harvesting; security; wireless sensor networks

Indexed keywords

ADVERSARY MODELS; CYBER PHYSICALS; NEW SOLUTIONS; SCAVENGING ENERGY; SECURITY; SECURITY PROTOCOLS; SECURITY SOLUTIONS; SURROUNDING ENVIRONMENT;

MODELS; NETWORK SECURITY; WIRELESS SENSOR NETWORKS;

SENSOR NODES;

EID: 84868091054     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-30567-2_24     Document Type: Conference Paper

References (18)

1. Blanchet, B.: Computationally Sound Mechanized Proofs of Correspondence Assertions. In: 20th IEEE Computer Security Foundations Symposium (CSF 2007), Venice, Italy, pp. 97-111 (2007)
2. Blanchet, B.: Automatic Verification of Correspondences for Security Protocols. Journal of Computer Security 17(4), 363-434 (2009)
3. Buchholtz, M., Nielson, H.R., Nielson, F.: A Calculus for Control Flow Analysis of Security Protocols. International Journal of Information Security 2(3-4), 145-167 (2004)
4. Dolev, D., Yao, A.: On the Security of Public Key Protocols. IEEE Transactions on Information Theory 29(2), 198-208 (1983)
5. Basin, D., Cremers, C.: Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 1-18. Springer, Heidelberg (2010)
6. Basin, D.A., Capkun, S., Schaller, P., Schmidt, B.: Formal Reasoning about Physical Properties of Security Protocols. ACM Trans. Inf. Syst. Secur. 14(2), 16 (2011)
7. Benenson, Z., Cholewinski, P., Freiling, F.: Vulnerabilities and attacks in wireless sensor networks. Wireless Sensors Networks Security, 22-43 (2008)
8. Benenson, Z., Dewald, A., Freiling, F.: Presence, Intervention, Insertion: Unifying Attack and Failure Models in Wireless Sensor Networks. University of Mannheim, Technical Report (2009)
9. Carter, J.L., Wegman, M.N.: Universal classes of hash functions (extended abstract). In: Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, STOC 1977, pp. 106-112. ACM, New York (1977)
10. Lu, J., Liu, S., Wu, Q., Qiu, Q.: Accurate modelling and prediction of energy availability in energy harvesting real-time embedded systems. In: 2010 International Green Computing Conference, pp. 469-476 (2010)
11. Lupu, T.-G.: Main types of attacks in wireless sensor networks. In: Proceedings of the 9th WSEAS International Conference on Signal, Speech and Image Processing, and 9th WSEAS International Conference on Multimedia, Internet & Video Technologies, SSIP 2009/MIV 2009, Stevens Point, Wisconsin, USA, pp. 180-185. World Scientific and Engineering Academy and Society (WSEAS) (2009)
12. Martins, D., Guyennet, H.: Wireless sensor network attacks and security mechanisms: A short survey. In: 2010 13th International Conference on Network-Based Information Systems (NBiS), pp. 313-320 (2010)
13. Pelissier, S., Prabhakar, T., Jamadagni, H., Venkatesha Prasad, R., Niemegeers, I.: Providing security in energy harvesting sensor networks. In: Consumer Communications and Networking Conference (CCNC), pp. 452-456. IEEE (2011)
14. Sen, J.: A survey on wireless sensor network security. CoRR, abs/1011.1529 (2010)
15. Sudevalayam, S., Kulkarni, P.: Energy harvesting sensor nodes: Survey and implications. IEEE Communications Surveys Tutorials 13(3), 443-461 (2011)
16. Taddeo, A.V., Mura, M., Ferrante, A.: Qos and security in energy-harvesting wireless sensor networks. In: Proceedings of the 2010 International Conference on Security and Cryptography (SECRYPT), pp. 1-10 (2010)
17. Wander, A., Gura, N., Eberle, H., Gupta, V., Shantz, S.: Energy analysis of public-key cryptography for wireless sensor networks. In: Third IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), pp. 324-328 (2005)
18. Won, D. (ed.): ICISC 2000. LNCS, vol. 2015. Springer, Heidelberg (2001)