Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-9-29

Timed analysis of security protocols

R. Corin, S. Etalle, P.H. Hartel [...]

Journal of Computer Security

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

Resource and timing aspects of security protocols

Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin [...]

Journal of Computer Security

Retricted access

Research article

First published 2007-10

Modelling and Checking Timed Authentication of Security Protocols

Gizela Jakubowska, Wojciech Penczek

Fundamenta Informaticae

Open access

Research article

First published 2020-5

Preamble time-division multiple access fixed slot assignment protocol for secure mobile ad hoc networks

Khalid Hussain Mohammadani, Kamran Ali Memon, Imran Memon [...]

International Journal of Distributed Sensor Networks

Open access

Research article

First published 2018-4

Efficient identity-based authenticated key agreement protocol with provable security for vehicular ad hoc networks

Lanjun Dang, Jie Xu, Xuefei Cao [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2022-5-30

Refillable PUF authentication protocol for constrained devices

Arthur Desuert, Stéphanie Chollet, Laurent Pion [...]

Journal of Ambient Intelligence and Smart Environments

Free access

Research article

First published 2009-11

Adaptively Secure Threshold Signature Scheme in the Standard Model

Zecheng Wang, Haifeng Qian, Zhibin Li

Informatica: An International Journal of Computing and Informatics

Open access

Research article

First published 2015-3

A Lightweight ID Based Authentication and Key Agreement Protocol for Multiserver Architecture

Yanrong Lu, Lixiang Li, Haipeng Peng [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 1996-1-1

A calculus for security boots trapping in distributed systems *

Ueli M. Maurer, Pierre E. Schmid

Journal of Computer Security

Search results