An Approach to Model-based Development of Secure and Reliable Systems

Eduardo B. Fernández, Hironori Washizaki, Nobukazu Yoshioka, Michael VanHilst. An Approach to Model-based Development of Secure and Reliable Systems. In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. pages 260-265, IEEE, 2011. [doi]

Abstract

Abstract is missing.