Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus

Alessandro Bruni, Sebastian Alexander Mödersheim, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014
Publisher	Springer
Publication date	2014
Pages	281-282
ISBN (Print)	978-3-319-11598-6
Publication status	Published - 2014
Event	19th Nordic Conference on Secure IT Systems (NordSec 2014) - Tromsø, Norway Duration: 15 Oct 2014 → 17 Oct 2014 Conference number: 19 http://site.uit.no/nordsec2014/

Conference	19th Nordic Conference on Secure IT Systems (NordSec 2014)
Number	19
Country/Territory	Norway
City	Tromsø
Period	15/10/2014 → 17/10/2014
Internet address	http://site.uit.no/nordsec2014/

Series	Lecture Notes in Computer Science
Number	8788
ISSN	0302-9743

OpenUrl availability

@inproceedings{c5e02c32701d4df39e9fecdacaf1fe90,

title = "Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus",

author = "Alessandro Bruni and M{\"o}dersheim, \{Sebastian Alexander\} and Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "2014",

language = "English",

isbn = "978-3-319-11598-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "8788",

pages = "281--282",

booktitle = "Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014",

note = "19th Nordic Conference on Secure IT Systems (NordSec 2014), NordSec 2014 ; Conference date: 15-10-2014 Through 17-10-2014",

url = "http://site.uit.no/nordsec2014/",

}

Bruni, A, Mödersheim, SA, Nielson, F & Nielson, HR 2014, Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus. in Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, Lecture Notes in Computer Science, no. 8788, pp. 281-282, 19th Nordic Conference on Secure IT Systems (NordSec 2014), Tromsø, Norway, 15/10/2014.

Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming et al.
Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 281-282 (Lecture Notes in Computer Science; No. 8788).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus

AU - Bruni, Alessandro

AU - Mödersheim, Sebastian Alexander

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

N1 - Conference code: 19

PY - 2014

Y1 - 2014

M3 - Article in proceedings

SN - 978-3-319-11598-6

T3 - Lecture Notes in Computer Science

SP - 281

EP - 282

BT - Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014

PB - Springer

T2 - 19th Nordic Conference on Secure IT Systems (NordSec 2014)

Y2 - 15 October 2014 through 17 October 2014

ER -