Sage Journals: Discover world-class research

Retricted access

Research article

First published 1990-6

Correctness analysis and simulation of computer network protocols by aggregate approach

Henrikas Pranevitchius

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2017-5

Automatic protocol reverse engineering using grammatical inference

Ming-Ming Xiao, Yu-Ping Luo

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

Retricted access

Research article

First published 1993-2

Specification,validation and simulation of an event driven local computer network protocol

Henrikas Pranevitchius, Leo Sintonen

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2015-1

Integrating model checking and simulation for protocol optimization

Alberto Salmerón, Pedro Merino

SIMULATION

Retricted access

Research article

First published 1992-1-1

Applying Formal Methods to the Analysis of a Key Management Protocol

Catherine Meadows

Journal of Computer Security

Retricted access

Research article

First published 2009-10

MRSA Prevention and Control in County Correctional Facilities in Southwestern Ohio

Jeffrey A. Webb, John S. Czachor

Journal of Correctional Health Care

Open access

Research article

First published 2011-1

A Biometric Key Establishment Protocol for Body Area Networks

Lin Yao, Bing Liu, Guowei Wu [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 1999-4-1

Strand spaces: proving security protocols correct

F. Javier Thayer Fábrega, Jonathan C. Herzog, Joshua D. Guttman

Journal of Computer Security

Retricted access

Research article

First published 2019-9

Statistical Considerations for Bias and Protocol Deviation in Medical Device Pivotal Clinical Study

Zhiheng Xu, Meijuan Li

Therapeutic Innovation & Regulatory Science

Open access

Research article

First published 2014-9

Multi-Channel Packet-Analysis System Based on IEEE 802.15.4 Packet-Capturing Modules

Seong-eun Yoo, Poh Kit Chong, Jeonghwan Bae [...]

International Journal of Distributed Sensor Networks

Search results