Linda Ariani Gunawan

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Operating System

Security Properties

Top Venues

Secur. Commun. Networks

Publications

Maria Vasilevskaya, Linda Ariani Gunawan, Simin Nadjm-Tehrani, Peter Herrmann
Integrating security mechanisms into embedded systems by domain-specific modelling. Secur. Commun. Networks 7 (12) (2014)
Linda Ariani Gunawan, Peter Herrmann
Compositional Verification of Application-Level Security Properties. ESSoS (2013)
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
Behavioral Singletons to Consistently Handle Global States of Security Patterns. DAIS (2012)
Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann
Security asset elicitation for collaborative models. MDsec@MoDELS (2012)
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. ESSoS (2011)
Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König
Modeling a distributed intrusion detection system using collaborative building blocks. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Linda Ariani Gunawan, Peter Herrmann, Frank Alexander Kraemer
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. FGIT-SecTech (2009)