Proposing and verifying a security protocol for hash function-based IoT communication system

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

Casper: a compiler for the analysis of security protocols

Gavin Lowe · 2002 · 308 citations

Computing, Computer Science, Computer Security +16

Surveillance of anomaly and misuse in critical networks to counter insider threats using computational intelligence

D. Shalini Punithavathani, K. Sujatha, Juhi Jain · Cluster Computing · 2014 · 43 citations

Computing, Computer Science, Cybersecurity +16

M2M-based smart health service for human UI/UX using motion recognition

Roy C. Park, Hoill Jung, Dongkun Shin et al. · Cluster Computing · 2014 · 34 citations

Computing, Computer Systems, Health Informatics +13

USER MANUAL and TUTORIAL

Youssef M. A. Hashash · 2009 · 25 citations

Education, Computer Science, Human-computer Interaction +11