TU Darmstadt / ULB / TUbiblio

Taming Message-passing Communication in Compositional Reasoning about Confidentiality

Li, Ximeng ; Mantel, Heiko ; Tasch, Markus (2017)
Taming Message-passing Communication in Compositional Reasoning about Confidentiality.
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS).
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 2017
Creators: Li, Ximeng ; Mantel, Heiko ; Tasch, Markus
Type of entry: Bibliographie
Title: Taming Message-passing Communication in Compositional Reasoning about Confidentiality
Language: English
Date: 2017
Event Title: Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Profile Areas
Profile Areas > Cybersecurity (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
Date Deposited: 13 Jun 2018 05:58
Last Modified: 13 Jun 2018 05:58
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details