Modal Logics for Cryptographic Processes

U. Frendrup; Hans Huttel; N. J. Jensen

Modal Logics for Cryptographic Processes

U. Frendrup, Hans Huttel, N. J. Jensen

Institut for Datalogi

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

7 Citationer (Scopus)

Abstract

We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker directly.

Originalsprog	Engelsk
Titel	Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.) : Electronic notes in theoretical computer science
Forlag	Pergamon Press
Publikationsdato	2002
Udgave	68
ISBN (Trykt)	0444512810
Status	Udgivet - 2002
Begivenhed	Modal Logics for Cryptographic Processes - Varighed: 19 maj 2010 → …

Konference

Konference	Modal Logics for Cryptographic Processes
Periode	19/05/2010 → …

Adgang til dokumentet

http://www.elsevier.com/gej-ng/31/29/23/121/25/show/Products/notes/index.htt

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{1ba246909c2e11db8ed6000ea68e967b,

title = "Modal Logics for Cryptographic Processes",

abstract = "We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker directly.",

author = "U. Frendrup and Hans Huttel and Jensen, {N. J.}",

year = "2002",

language = "English",

isbn = "0444512810",

booktitle = "Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.)",

publisher = "Pergamon Press",

edition = "68",

note = "Modal Logics for Cryptographic Processes ; Conference date: 19-05-2010",

}

TY - GEN

T1 - Modal Logics for Cryptographic Processes

AU - Frendrup, U.

AU - Huttel, Hans

AU - Jensen, N. J.

PY - 2002

Y1 - 2002

N2 - We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker directly.

AB - We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker directly.

M3 - Article in proceeding

SN - 0444512810

BT - Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.)

PB - Pergamon Press

T2 - Modal Logics for Cryptographic Processes

Y2 - 19 May 2010

ER -