Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-5

Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies

Tim Miller, Peter McBurney

Multiagent and Grid Systems

Open access

Research article

First published 2026-1

A decision procedure and typing result for alpha-beta privacy

Laouen Fernet, Sebastian Mödersheim, Luca Viganò

Journal of Computer Security

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Retricted access

Research article

First published 1987-02

The Isolation and Characterization of Murine Monoclonal Antibodies Directed to Polymorphic Epitopes on HLA Antigens

Judith P. Johnson, Ingrid Contag, Rudolf Wank

Monoclonal Antibodies in Immunodiagnosis & Immunotherapy

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

Consensus analysis for a class of mixed-order multi-agent systems with nonlinear consensus protocols

Yuanzhen Feng, Xiaoming Tu

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2020-12

Super lightweight mobile RFID authentication protocol for bit replacement operation

Yubao Hou, Hua Liang, Juan liu

International Journal of RF Technologies

Retricted access

Research article

First published 2024-10

Orthodontic and Orthognathic Surgical Treatment in a Patient with a Large Lymphatic Malformation of the Face: A Case Report

Jordan P. Steinberg, Richard Redett, Ilana M. Ickow

The Cleft Palate Craniofacial Journal

Free access

Research article

First published 2008-10-1

Chain-Type Wireless Sensor Network for Monitoring Long Range Infrastructures: Architecture and Protocols *

Chang Wen Chen, Yu Wang

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2021-6

Event-triggered consensus control of second-order nonlinear multi-agent systems under denial-of-service attacks

Yu Shang, Cheng-Lin Liu, Ke-Cai Cao

Transactions of the Institute of Measurement and Control

Search results