Search

Your search keyword '"Heyman, Thomas"' showing total 2 results
Start Over Author "Heyman, Thomas" Topic security
2 results on '"Heyman, Thomas"'

1. The Security Twin Peaks

Author

Heyman, Thomas, Yskout, Koen, Scandariato, Riccardo, Schmidt, Holger, Yu, Yijun, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Erlingsson, Úlfar, editor, Wieringa, Roel, editor, and Zannone, Nicola, editor

Published
2011
Full Text
View/download PDF

2. Reusable Formal Models for Secure Software Architectures.

Author

Heyman, Thomas, Scandariato, Riccardo, and Joosen, Wouter

Abstract

Formal modelling techniques are often disregarded as their semantics are too distant from the mainstream practice of software architecture design, which is dominated by the use of component based modelling and patterns. This paper advocates the need for formal modelling techniques for humans, i.e., software architects who need to precisely ascertain the security properties of their design models. We contribute a technique that enables architects to more easily construct verified, secure architecture designs by assembling already verified security pattern models. Our approach is illustrated with a pattern language for accountability. It is validated by an observational study that shows that the approach produces reusable results, and is able to uncover relevant architectural security flaws. [ABSTRACT FROM PUBLISHER]

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results