Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-9-20

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Retricted access

Research article

First published 2002-10-1

Verified formal security models for multiapplicative smart cards 1

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer [...]

Journal of Computer Security

Retricted access

Research article

First published 2022-7-4

Modelling human threats in security ceremonies 1

Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann

Journal of Computer Security

Retricted access

Research article

First published 2018-7-10

Invalid certificates in modern browsers: A socio-technical analysis

Rosario Giustolisi, Giampaolo Bella, Gabriele Lenzini

Journal of Computer Security

Retricted access

Research article

First published 2006-07

Modeling Middle East Security: A Formal Assessment of Regional Responses to the Iraq War

Lewis W. Snider, Jason E. Strakes

Conflict Management and Peace Science

Retricted access

Research article

First published 2022-8-25

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication 1

Sebastian Paul, Patrik Scheible, Friedrich Wiemer

Journal of Computer Security

Retricted access

Research article

First published 2019-6-10

A method for unbounded verification of privacy-type properties

Lucca Hirschi, David Baelde, Stéphanie Delaune

Journal of Computer Security

Retricted access

Research article

First published 2014-1-24

Formal verification of security properties in trust management policy

Jianwei Niu, Mark Reith, William H. Winsborough

Journal of Computer Security

Retricted access

Research article

First published 2008-12

Nuovo DRM Paradiso: Designing a Secure,Verified,Fair Exchange DRM Scheme

Mohammad Torabi Dashti, Srijith Krishnan Nair, Hugo Jonker

Fundamenta Informaticae

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Search results