Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021-11-04

Optimization of security check efficiency in subway station based on Anylogic: A case study of Nanchang Metro

Ming Wan, Zhifang Chen, Junhua Guo [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Retricted access

Research article

First published 2001-1-1

Athena: a novel approach to efficient automatic security protocol analysis 1

Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig

Journal of Computer Security

Open access

Research article

First published 2012-4

Energy-Efficient Secure Path Algorithm for Wireless Sensor Networks

Imanishimwe Jean de Dieu, Nyirabahizi Assouma, Maniraguha Muhamad [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2022-10

A multi-level weighted alarm security system for passenger and checked-baggage screening

Sonal Seth, Qianmei Feng

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2019-4

New provable data transfer from provable data possession and deletion for secure cloud storage

Yudong Liu, Shuai Xiao, Han Wang [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 1996-1-1

Non-interference through determinism *

A.W. Roscoe, J.C.P. Woodcock, L. Wulf

Journal of Computer Security

Retricted access

Research article

First published 2025-02-28

Secure data aggregation using quantum key management in IoT networks

R. Thenmozhi, P. Sakthivel, K. Kulothungan

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2017-6

Hierarchical remote data possession checking method based on massive cloud files

Ma Haifeng, Gao Zhenguo, Yao Nianmin

Journal of Algorithms & Computational Technology

Free access

Research article

First published 2014-9

A Method for Memory Integrity Authentication Based on Bloom Filter

Yao Nianmin, Ma Haifeng, Han Yong

Journal of Algorithms & Computational Technology

Search results