Casper: A Compiler for the Analysis of Security Protocols

Casper: A Compiler for the Analysis of Security Protocols

Show other versions (1)

Bibliografiske detaljer
Hovedforfatter:	Lowe, G
Format:	Conference item
Udgivet:	IEEE 1997

Lignende værker

Casper: A Compiler for the Analysis of Security Protocols
af: Lowe, G
Udgivet: (1998)

Analyzing a Library of Security Protocols using Casper and FDR
af: Donovan, B, et al.
Udgivet: (1999)

Formal Security Analysis of EAP-ERP Using Casper
af: Khosrow Ramezani, et al.
Udgivet: (2016-01-01)

Sayangku casper /
af: Mazni Aznita, author 309478
Udgivet: (2012)

Web Services Security: a preliminary study using Casper and FDR
af: Roscoe, A, et al.
Udgivet: (2004)

Casper/ [cakera padat video]
af: 430113 Stoner, Sherri, et al.
Udgivet: (1995)

CASPER: Covert Channel Using Internal Speakers
af: Hyeongjun Choi, et al.
Udgivet: (2023-03-01)

The CASPER preparation program innovation: increasing self-perceived competence and confidence of underrepresented applicants on the novel CASPER Snapshot and CanMEDS roles
af: Farhan Mahmood, et al.
Udgivet: (2023-02-01)

Proposal for a Cosmic Axion Spin Precession Experiment (CASPEr)
af: Dmitry Budker, et al.
Udgivet: (2014-05-01)

Casper: Accelerating Stencil Computations Using Near-Cache Processing
af: Alain Denzler, et al.
Udgivet: (2023-01-01)

Comparison of the English and French versions of the CASPer® Test in a bilingual population
af: Christopher Zou, et al.
Udgivet: (2018-12-01)

Using the Casper Stent in Carotid Angioplasty: A Single Center Experience
af: Leandro José Haas, et al.
Udgivet: (2022-01-01)

The austin protocol compiler /
af: 369033 McGuire, Tommy M., et al.
Udgivet: (2005)

Airborne Remote Sensing of the Upper Ocean Turbulence during CASPER-East
af: Ivan Savelyev, et al.
Udgivet: (2018-08-01)

C. Caspers & P.J. Margry, Het Mirakel van Amsterdam
af: Jonas Van Mulder
Udgivet: (2018-04-01)

Another Rare Unstable Hemoglobinopathy: Hemoglobin Casper/Southampton Associated with Moyamoya Disease
af: Asim Haque, et al.
Udgivet: (2015-05-01)

Casper Hendrik Rautenbach: 'Singewing aan dink al hoe meer in verband met doen'Casper Hendrik Rautenbach: 'Singewing aan dink al hoe meer in verband met doen'
af: H. T. van Deventer
Udgivet: (1987-06-01)

Evaluation of Incremental Validity of Casper in Predicting Program and National Licensure Performance of Undergraduate Nursing Students: Protocol for a Mixed Methods Study
af: Kathleen Stevens, et al.
Udgivet: (2023-10-01)

Isolation and identification of extracellular matrix proteins from oil-based CASPERized mouse brains for matrisomal analysis
af: Byung Geun Ha, et al.
Udgivet: (2023-04-01)

P.J. Margry, Ch. Caspers, Bedevaartplaatsen in Nederland, IV, Addenda Index Bijlagen
af: A. Thijs
Udgivet: (2005-01-01)

P.J. Margry, Ch. Caspers, Bedevaartplaatsen in Nederland, IV, Addenda Index Bijlagen
af: A. Thijs
Udgivet: (2005-01-01)

P.J. Margry, C.M.A. Caspers, Bedevaartplaatsen in Nederland, I, Noord- en Midden-Nederland; P.J. Margry, Ch. Caspers, M. Wingens, Bedevaartplaatsen in Nederland, II, Provincie Noord-Brabant
af: A. Thijs
Udgivet: (1999-01-01)

P.J. Margry, C.M.A. Caspers, Bedevaartplaatsen in Nederland, I, Noord- en Midden-Nederland<br/>P.J. Margry, Ch. Caspers, M. Wingens, Bedevaartplaatsen in Nederland, II, Provincie Noord-Brabant
af: A. Thijs
Udgivet: (1999-01-01)

P.J. Margry, C.M.A. Caspers, Bedevaartplaatsen in Nederland, I, Noord- en Midden-Nederland<br/>P.J. Margry, Ch. Caspers, M. Wingens, Bedevaartplaatsen in Nederland, II, Provincie Noord-Brabant
af: A. Thijs
Udgivet: (1999-01-01)

Prolac--a language for protocol compilation
af: Kohler, Eddie, 1973-
Udgivet: (2009)

The CASPER project: an integrated approach for pollution risk assessment in peri-urban groundwater catchment areas
af: S. Brouyère, et al.
Udgivet: (2022-12-01)

Modelling and Analysis of Security Protocols
af: Ryan, P, et al.
Udgivet: (2001)

The Modelling and Analysis of Security Protocols
af: Roscoe, A, et al.
Udgivet: (2001)

Modelling and analysis of security protocols
af: Ryan, P, et al.
Udgivet: (2001)

Information security threats of optimizing compilers’ plugins
af: Sergey K. Muravyev
Udgivet: (2024-11-01)

CaSpER identifies and visualizes CNV events by integrative analysis of single-cell or bulk RNA-sequencing data
af: Akdes Serin Harmanci, et al.
Udgivet: (2020-01-01)

Mapping the Metabolic Characteristics and Perturbation of Adult <i>Casper</i> Zebrafish by Ambient Mass Spectrometry Imaging
af: Zhi Zhou, et al.
Udgivet: (2024-04-01)

A compiler compiler and methodology for problem oriented language compiler implementors /
af: 459855 Evans, R. V., et al.

On Distributed Security Transactions that Use Secure Transport Protocols
af: Broadfoot, P, et al.
Udgivet: (2003)

Analysing Security Protocols using CSP
af: Lowe, G
Udgivet: (2011)

Compiling symbolic attacks to protocol implementation tests
af: Michael Rusinowitch, et al.
Udgivet: (2013-07-01)

Some new attacks upon security protocols
af: Lowe, G
Udgivet: (1996)

A randomised evaluation of CollAborative care and active surveillance for Screen-Positive EldeRs with sub-threshold depression (CASPER): study protocol for a randomized controlled trial
af: Richards David, et al.
Udgivet: (2011-10-01)

Safe Simplifying Transformations for Security Protocols
af: Hui, M, et al.
Udgivet: (1999)

Sequence-Based Mapping and Genome Editing Reveal Mutations in Stickleback Hps5 Cause Oculocutaneous Albinism and the casper Phenotype
af: James C. Hart, et al.
Udgivet: (2017-09-01)