Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-8-16

Guessing attacks and the computational soundness of static equivalence

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

Journal of Computer Security

Retricted access

Research article

First published 2010-9-20

Computationally sound analysis of protocols using bilinear pairings

Steve Kremer, Laurent Mazaré

Journal of Computer Security

Retricted access

Research article

First published 2009-10-12

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Pedro Adão, Gergei Bana, Jonathan Herzog [...]

Journal of Computer Security

Retricted access

Research article

First published 2023-2

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid [...]

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

Retricted access

Research article

First published 2014-9

An Approach to Model Checking the Perceptual Interactions of Medical Alarms

Bassam Hasanain, Andrew D. Boyd, Matthew L. Bolton

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2018-11

Edutainment: A Creative Solution for School-Based Preventive Screening Orientation in Missouri

Carol Cox

Creative Nursing

Retricted access

Research article

First published 2016

Agile Forward-Reverse Requirements Elicitation as a Creative Design Process: A Case Study of Illimitable Space System v2

Serguei A. Mokhov, Miao Song, Satish Chilkaka [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2010-01

Towards Improved Assessment of Functional Similarity in Large-Scale Screens: A Study on Indel Length

Alexander Schönhuth, Raheleh Salari, Fereydoun Hormozdiari [...]

Journal of Computational Biology

Retricted access

Research article

First published 2013-8

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version

Paulo Salem da Silva, Ana C V de Melo

SIMULATION

Search results