Casper: A Compiler for the Analysis of Security Protocols

Casper: A Compiler for the Analysis of Security Protocols

Čájet eará veršuvnnaid (1)

Bibliográfalaš dieđut
Váldodahkki:	Lowe, G
Materiálatiipa:	Conference item
Almmustuhtton:	IEEE 1997

Geahča maid

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

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

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

Sayangku casper /
Dahkki: Mazni Aznita, author 309478
Almmustuhtton: (2012)

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

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

CASPER: Covert Channel Using Internal Speakers
Dahkki: Hyeongjun Choi, et al.
Almmustuhtton: (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
Dahkki: Farhan Mahmood, et al.
Almmustuhtton: (2023-02-01)

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

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

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

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

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

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

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

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

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

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

P.J. Margry, Ch. Caspers, Bedevaartplaatsen in Nederland, IV, Addenda Index Bijlagen
Dahkki: A. Thijs
Almmustuhtton: (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
Dahkki: A. Thijs
Almmustuhtton: (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
Dahkki: A. Thijs
Almmustuhtton: (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
Dahkki: A. Thijs
Almmustuhtton: (1999-01-01)

Prolac--a language for protocol compilation
Dahkki: Kohler, Eddie, 1973-
Almmustuhtton: (2009)

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

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

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

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

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

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

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

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

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

Analysing Security Protocols using CSP
Dahkki: Lowe, G
Almmustuhtton: (2011)

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

Some new attacks upon security protocols
Dahkki: Lowe, G
Almmustuhtton: (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
Dahkki: Richards David, et al.
Almmustuhtton: (2011-10-01)

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

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