Casper: A Compiler for the Analysis of Security Protocols

Casper: A Compiler for the Analysis of Security Protocols

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Lowe, G
Formáid:	Conference item
Foilsithe / Cruthaithe:	IEEE 1997

Míreanna comhchosúla

Casper: A Compiler for the Analysis of Security Protocols
de réir: Lowe, G
Foilsithe / Cruthaithe: (1998)

Analyzing a Library of Security Protocols using Casper and FDR
de réir: Donovan, B, et al.
Foilsithe / Cruthaithe: (1999)

Formal Security Analysis of EAP-ERP Using Casper
de réir: Khosrow Ramezani, et al.
Foilsithe / Cruthaithe: (2016-01-01)

Sayangku casper /
de réir: Mazni Aznita, author 309478
Foilsithe / Cruthaithe: (2012)

Web Services Security: a preliminary study using Casper and FDR
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2004)

Casper/ [cakera padat video]
de réir: 430113 Stoner, Sherri, et al.
Foilsithe / Cruthaithe: (1995)

CASPER: Covert Channel Using Internal Speakers
de réir: Hyeongjun Choi, et al.
Foilsithe / Cruthaithe: (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
de réir: Farhan Mahmood, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Proposal for a Cosmic Axion Spin Precession Experiment (CASPEr)
de réir: Dmitry Budker, et al.
Foilsithe / Cruthaithe: (2014-05-01)

Casper: Accelerating Stencil Computations Using Near-Cache Processing
de réir: Alain Denzler, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Comparison of the English and French versions of the CASPer® Test in a bilingual population
de réir: Christopher Zou, et al.
Foilsithe / Cruthaithe: (2018-12-01)

Using the Casper Stent in Carotid Angioplasty: A Single Center Experience
de réir: Leandro José Haas, et al.
Foilsithe / Cruthaithe: (2022-01-01)

The austin protocol compiler /
de réir: 369033 McGuire, Tommy M., et al.
Foilsithe / Cruthaithe: (2005)

Airborne Remote Sensing of the Upper Ocean Turbulence during CASPER-East
de réir: Ivan Savelyev, et al.
Foilsithe / Cruthaithe: (2018-08-01)

C. Caspers & P.J. Margry, Het Mirakel van Amsterdam
de réir: Jonas Van Mulder
Foilsithe / Cruthaithe: (2018-04-01)

Another Rare Unstable Hemoglobinopathy: Hemoglobin Casper/Southampton Associated with Moyamoya Disease
de réir: Asim Haque, et al.
Foilsithe / Cruthaithe: (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'
de réir: H. T. van Deventer
Foilsithe / Cruthaithe: (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
de réir: Kathleen Stevens, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Isolation and identification of extracellular matrix proteins from oil-based CASPERized mouse brains for matrisomal analysis
de réir: Byung Geun Ha, et al.
Foilsithe / Cruthaithe: (2023-04-01)

P.J. Margry, Ch. Caspers, Bedevaartplaatsen in Nederland, IV, Addenda Index Bijlagen
de réir: A. Thijs
Foilsithe / Cruthaithe: (2005-01-01)

P.J. Margry, Ch. Caspers, Bedevaartplaatsen in Nederland, IV, Addenda Index Bijlagen
de réir: A. Thijs
Foilsithe / Cruthaithe: (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
de réir: A. Thijs
Foilsithe / Cruthaithe: (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
de réir: A. Thijs
Foilsithe / Cruthaithe: (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
de réir: A. Thijs
Foilsithe / Cruthaithe: (1999-01-01)

Prolac--a language for protocol compilation
de réir: Kohler, Eddie, 1973-
Foilsithe / Cruthaithe: (2009)

The CASPER project: an integrated approach for pollution risk assessment in peri-urban groundwater catchment areas
de réir: S. Brouyère, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Modelling and Analysis of Security Protocols
de réir: Ryan, P, et al.
Foilsithe / Cruthaithe: (2001)

The Modelling and Analysis of Security Protocols
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2001)

Modelling and analysis of security protocols
de réir: Ryan, P, et al.
Foilsithe / Cruthaithe: (2001)

Information security threats of optimizing compilers’ plugins
de réir: Sergey K. Muravyev
Foilsithe / Cruthaithe: (2024-11-01)

CaSpER identifies and visualizes CNV events by integrative analysis of single-cell or bulk RNA-sequencing data
de réir: Akdes Serin Harmanci, et al.
Foilsithe / Cruthaithe: (2020-01-01)

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

A compiler compiler and methodology for problem oriented language compiler implementors /
de réir: 459855 Evans, R. V., et al.

On Distributed Security Transactions that Use Secure Transport Protocols
de réir: Broadfoot, P, et al.
Foilsithe / Cruthaithe: (2003)

Analysing Security Protocols using CSP
de réir: Lowe, G
Foilsithe / Cruthaithe: (2011)

Compiling symbolic attacks to protocol implementation tests
de réir: Michael Rusinowitch, et al.
Foilsithe / Cruthaithe: (2013-07-01)

Some new attacks upon security protocols
de réir: Lowe, G
Foilsithe / Cruthaithe: (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
de réir: Richards David, et al.
Foilsithe / Cruthaithe: (2011-10-01)

Safe Simplifying Transformations for Security Protocols
de réir: Hui, M, et al.
Foilsithe / Cruthaithe: (1999)

Sequence-Based Mapping and Genome Editing Reveal Mutations in Stickleback Hps5 Cause Oculocutaneous Albinism and the casper Phenotype
de réir: James C. Hart, et al.
Foilsithe / Cruthaithe: (2017-09-01)