International working group on assurance cases (for security)

被引:13
作者
Bloomfield, RE [1 ]
Guerra, S
Masera, M
Miller, A
Weinstock, CB
机构
[1] City Univ London, London EC1V 0HB, England
[2] Univ Missouri, Rolla, MO 65401 USA
关键词
D O I
10.1109/MSP.2006.73
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Small international groups of experts from various disciplines in safety, security, reliability, and critical infrastructure are working with the International Working Group on Assurance Cases for Security. The international community organized a workshop, Assurance Cases: Best Practices, Posible Obstacles, and Future Opportunities to promote communication among groups that are working in the broad area of assurance cases. The follow-up workshop, Workshop on Assurance Cases for Security brought together people working in the field to see how assurance cases for security need to work and how the community might persue viable technical approaches to realize the goal. A key lesson from the workshop was how the participants' different backgrounds and perspectives proved to be mutually stimulating and informative. The workshops have identified many technical, policy, and research challenges that professionals and research community must solve.
引用
收藏
页码:66 / 68
页数:3
相关论文
共 5 条
[1]  
BISHOP P, 2004, P WORKSH ASS CAS, P390
[2]  
GLOOMFIELD RE, 1998, ADELAND SAFETY CASE
[3]  
Kelly T., 1998, Doctoral dissertation
[4]  
MacKenzie D, 2001, MECH PROOF COMPUTING
[5]  
Toulmin Stephen E, 1958, The uses of argument