Search results: Sage Journals

Restricted accessResearch articleFirst published March 22, 2010

Symbolic bisimulation for the applied pi calculus *

Stéphanie Delaune, Steve Kremer, Mark D. Ryan

Journal of Computer Security

Restricted accessResearch articleFirst published February, 2020

Chunna Zhao, Murong Jiang, Yaqun Huan [...]

Journal of Computational Methods in Sciences and Engineering

Restricted accessResearch articleFirst published April 9, 2018

Bruno Blanchet, Ben Smyth

Journal of Computer Security

Restricted accessResearch articleFirst published January, 2021

Li Bao, Jianxiong Wan, Le Hao

Journal of Computational Methods in Sciences and Engineering

Restricted accessResearch articleFirst published July 2, 2009

Stéphanie Delaune, Steve Kremer, Mark Ryan

Journal of Computer Security

Restricted accessResearch articleFirst published April 23, 2014

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud [...]

Journal of Computer Security

Restricted accessResearch articleFirst published February 12, 2013

Véronique Cortier, Ben Smyth

Journal of Computer Security

Restricted accessResearch articleFirst published August, 2008

Raheel Ahmad, Shahram Rahimi

Multiagent and Grid Systems

Restricted accessResearch articleFirst published February, 2018

Ayhan Özdemir, Zekiye Erdem

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Restricted accessResearch articleFirst published January, 2013

Frédéric Peschanski, Hanna Klaudel, Raymond Devillers

Fundamenta Informaticae