How Do Asynchronous Communication Models Impact the Composability of Information Flow Security? - Lena Gerlach; Christopher Gerking (FACS, 2024)