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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2014Researchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationProceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014
PublisherSpringer
Publication date2014
Pages281-282
ISBN (Print)978-3-319-11598-6
DOIs
Publication statusPublished - 2014
Event19th Nordic Conference on Secure IT Systems (NordSec 2014) - Tromsø, Norway
Duration: 15 Oct 201417 Oct 2014
Conference number: 19
http://site.uit.no/nordsec2014/

Conference

Conference19th Nordic Conference on Secure IT Systems (NordSec 2014)
Number19
CountryNorway
CityTromsø
Period15/10/201417/10/2014
Internet address
SeriesLecture Notes in Computer Science
Number8788
ISSN0302-9743
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 101564297