会议专题

2009 Third IEEE International Conference on Secure Integration and Reliability Improvement SSIRI 2009(第三届IEEE安全软件集成及可信性改进国际会议)

总文献量: 65篇会议类型: 国际会议会议地点: 上海主办单位: 上海交通大学会议日期: 2009-07-08

文章浏览

Architectural Availability Analysis of Software Decomposition for Local Recovery

Hichem Boudali Hasan Sozer Marielle Stoelinga

Java Card Performance Optimization of Secure Transaction Atomicity based on Increasing the Class Field Locality

Johannes Loinig Christian Steger Reinhold Weiss Ernst Haselsteiner

Generating Test Cases for Timed Systems from Controlled Natural Language Specifications

Matthias Schnelte

Provable Secure AKA Scheme with Reliable Key Delegation in UMTS

Yu-Lun Huang C. Y. Shen Shiuhpyng Shieh Hung-Jui Wang Cheng-Chun Lin

A Developed Dynamic Environment Fault Injection Tool for Component Security Testing

Binbin Qu Ying Huang Xiaodong Xie Yansheng Lu

1
2
3
4