A Simple Logic for Authentication Protocol Design

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

The experiments of Cable-in conduit conductor (CICC) short samples with high proportion of segregated copper strands have been carried out in SULTAN facility last September. These experiments aimed to investigate transient stability and AC losses of CICC conductor coated with different resistive barriers (Pb-30Sn-2Sb or Ni plating on strands) and to check the design of PF and TF CICC for HT-7U magnets. The resistive barriers' influences on the stability and AC losses of CICC are evaluated. These experimenta

This thesis is concerned with two security mechanisms: authenticated key transport and rational exchange protocols. These mechanisms are potential building blocks in the security architecture of a range of different services. Authenticated key transport protocols are used to build secure channels between entities, which protect their communications against eaves-dropping and alteration by an outside attacker. In contrast, rational exchange protocols can be used to protect the entities involved in an exchang

Fault-tolerant control systems can be built by replicating critical components. However, replication raises the issue of inconsistency. Multiple protocols for ensuring consistency have been described in the literature. PADRE (Protocol for Asymmetric Duplex Redundancy) is such a protocol, and an interesting case study of a complex and sensitive problem: the management of replicated traffic controllers in a railway system [EAP99]. However, the low level at which the protocol has been developed embodies system

Gating of an artificial receptor was monitored for the first time by impedance spectroscopy in tethered lipid bilayer. Subnanomolar concns. of antibody were detected by modulation of the channel activity. The principle of gating by an antibody is particularly attractive because of its general character, and thus opens new possibility of immunosensing. [on SciFinder (R)]

A fair exchange protocol is a protocol, in which two (or more) mutually suspicious parties exchange their digital items in a way that neither party can gain an advantage over the other by misbehaving. Many fair exchange protocols have been proposed in the academic literature, but they provide rather different types of fairness. The formal comparison of these proposals remained diffcult, mainly, because of the lack of a common formal framework, in which each can be modelled and formal fairness defnitions can

Numerous degrees of freedom are often available for the heat integration of batch processes. Usually, only few of these are actually considered and optimized. Time slice-dependant Tmin have been investigated and optimized using a supertargeting procedure originally developed for multiple base case design. The trade-off direct indirect heat exchanges has also been studied and tools for the preliminary assessment of the heat storage system are proposed. Further improvements are being considered for both t

A single failure in a communication network may trigger many alarms. When the communication network uses optical fibres as transmission medium and increases its capacity by using Wavelength Division Multiplexing (WDM), the number of alarms and the difficulty to locate the failure are considerably higher. In this case, a single failure may interrupt several channels which causes a large information loss. We propose an Alarm Filtering Algorithm (AFA) for the fault management of an optical network that support

In this paper, we propose an architecture for hybrid services, i.e., services that span many network technologies, especially the PSTN and the Internet. These services will play an important role in the future, because they leverage on the existing infrastructures, rather than requiring brand-new and sophisticated mechanisms to be deployed. We explore a few issues related to hybrid services and propose a platform, as well as a set of components, to facilitate their creation and deployment. The existing infr

This paper presents the concept of a standard method used to determine the durability of injection molds. In particular, some Rapid Tooling molds are less resistant to abrasive plastics than conventional steel molds. Some evidence of wear in a conventional mold is given, and a specific mold is designed for this test; polymer materials are defined and the test methodology is outlined. Numerical simulation is utilized to show the areas of the mold subject to high shear stresses.

The design of a diffration grating used as an output coupler for a Fabry-Perot resonator is presented. We then consider the problem of determining the distortion and the cross-polarization of the incident Gaussian beam. Different types of gratings and planes with straight or curvilinear grooves and elliptical, have been designed and built. The output pattern from a resonator using such a grating has been measured experimentally. We found that the elliptical grating generates the least distortion and cross-p

Garment design is traditionally carried out in two dimensions, and some software has been developed and applied in the garment industry in the design of garment panels. A new tool for the interactive design of garments in three dimensions is introduced. Making use of an elastic surface model, animation allows one to examine the garment design in three dimensions dynamically. The designer can use this tool to visualize his original ideas and changes interactively, and to see the garment vividly portrayed, in

A Simple Logic for Authentication Protocol Design

Chat with Graph Search

Test results and analyses of conductor short samples for HT-7U

Building blocks for secure services : authenticated key transport and rational exchange protocols

Primary-backup replication: From a time-free protocol to a time-based implementation

Immunosensing by a synthetic ligand-gated ion channel

Toward a Formal Model of Fair Exchange, a Game Theoretic Approach

Improving Pinch Analysis based heat integration of single & multi-product batch plants

Fault Localization at the WDM Layer

An Architecture for the Integration of Internet and Telecommunication Services

Injection molds behavior and lifetime characterization - Concept and design of a standard measurement method

Properties of Diffraction Gratings Used as Output Couplers in a Quasi-Optical Gyrotron

Three-dimensional garment design and animation: a new design tool for the garment industry