征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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

  • 12月08日 2015

    注册截止日期

主办单位
美国计算机学会
联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询