The LAW Organizing Committee in cooperation with Applied Computer Security Associates is pleased to announce that LAW 2015 will again be held as an affiliated workshop of the Annual Computer Security Applications Conference (ACSAC). LAW is a unique opportunity for interchange on the topic of compositional (or modular) assurance. It is founded on the bold proposition that it is possible to build assured systems from compositions of previously assured components, while being able to derive the system level properties (e.g., safety & security) systematically from the properties of the components. LAW spans the theoretical, engineering, and certification challenges to be met in making compositional assurance for such systems a reality. We say "layered" assurance to encompass diverse manifestations of combined assurance, including composition (of assured components), incremental certification (incremental cost for incremental change), abstraction layers (building upon assurance of lower layers), and polymorphism (common assurance of variants, such as among members of a product line).
12月07日
2015
12月08日
2015
注册截止日期
留言