TU Darmstadt / ULB / TUbiblio

Taming Message-passing Communication in Compositional Reasoning about Confidentiality

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

Item Type: Conference or Workshop Item
Erschienen: 2017
Creators: Li, Ximeng and Mantel, Heiko and Tasch, Markus
Title: Taming Message-passing Communication in Compositional Reasoning about Confidentiality
Language: English
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
Event Title: Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)
Date Deposited: 13 Jun 2018 05:58
Export:

Optionen (nur für Redakteure)

View Item View Item