Computing effects for correspondence types

Hans Hüttel

Computing effects for correspondence types

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

302 Downloads (Pure)

Abstract

We show that type and eﬀect inference is possible for a type and

eﬀect system for authenticity using non-injective correspondences, opponent

types and a spi-calculus with symmetric encryption. We do this by a general

account of how eﬀects can be computed given knowledge of how and where they

appear in type judgments.

Originalsprog	Engelsk
Titel	Proceedings of FCS'09
Redaktører	Véronique Cortier
Publikationsdato	2010
Sider	75-89
Status	Udgivet - 2010
Begivenhed	FCS'09 - Workshop on Foundations of Computer Security - Los Angeles, USA Varighed: 19 maj 2010 → …

Konference

Konference	FCS'09 - Workshop on Foundations of Computer Security
Land/Område	USA
By	Los Angeles
Periode	19/05/2010 → …

Emneord

Typer
Typeinferens
Første-ordens logik
Proceskalkyler

Adgang til dokumentet

Fcs2009Forlagets udgivne version, 237 KB

http://www.loria.fr/~cortier/FCS09/papersFCS09.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{53bebee0eb0f11deb63d000ea68e967b,

title = "Computing effects for correspondence types",

abstract = "We show that type and eﬀect inference is possible for a type and eﬀect system for authenticity using non-injective correspondences, opponent types and a spi-calculus with symmetric encryption. We do this by a general account of how eﬀects can be computed given knowledge of how and where they appear in type judgments. ",

keywords = "Typer, Typeinferens, F{\o}rste-ordens logik, Proceskalkyler, Types, Type inference, First-order logic, Proces calculi",

author = "Hans H{\"u}ttel",

year = "2010",

language = "English",

pages = "75--89",

editor = "V{\'e}ronique Cortier",

booktitle = "Proceedings of FCS'09",

note = "FCS'09 - Workshop on Foundations of Computer Security ; Conference date: 19-05-2010",

}

TY - GEN

T1 - Computing effects for correspondence types

AU - Hüttel, Hans

PY - 2010

Y1 - 2010

N2 - We show that type and eﬀect inference is possible for a type and eﬀect system for authenticity using non-injective correspondences, opponent types and a spi-calculus with symmetric encryption. We do this by a general account of how eﬀects can be computed given knowledge of how and where they appear in type judgments.

AB - We show that type and eﬀect inference is possible for a type and eﬀect system for authenticity using non-injective correspondences, opponent types and a spi-calculus with symmetric encryption. We do this by a general account of how eﬀects can be computed given knowledge of how and where they appear in type judgments.

KW - Typer

KW - Typeinferens

KW - Første-ordens logik

KW - Proceskalkyler

KW - Types

KW - Type inference

KW - First-order logic

KW - Proces calculi

M3 - Article in proceeding

SP - 75

EP - 89

BT - Proceedings of FCS'09

A2 - Cortier, Véronique

T2 - FCS'09 - Workshop on Foundations of Computer Security

Y2 - 19 May 2010

ER -

Computing effects for correspondence types

Abstract

Konference

Emneord

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater