Sage Journals: Discover world-class research

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

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 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

Retricted access

Research article

First published 2003-2

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems

Nicolette De Francesco, Antonella Santone, Luca Tesei

Fundamenta Informaticae

Retricted access

Research article

First published 2001-7-1

Model checking security properties of control flow graphs

Frédéric Besson, Thomas Jensen, Daniel Le Métayer [...]

Journal of Computer Security

Open access

Research article

First published 2016-8

Using malware for software-defined networking–based smart home security management through a taint checking approach

Ping Wang, Kuo-Ming Chao, Chi-Chun Lo [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2009-6

Timed Automata Based Model Checking of Timed Security Protocols

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2002-10-1

Checking secure interactions of smart card applets: extended version 1

P. Bieber, J. Cazin, P. Girard [...]

Journal of Computer Security

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 2008-11-3

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete *

Ferucio L. Ţiplea, Cătălin V. Bîrjoveanu, Constantin Enea [...]

Journal of Computer Security

Search results