会议专题

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

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

文章浏览

Research and Evaluation on Modularity Modeling in Community Detecting of Complez Network Based on Information Entropy

Xiaolong Deng Bai Wang Bin Wu Shengqi Yang

The 1st Workshop on Model-Based Verification & Validation Communication Sequence Graphs for Mutation-Oriented Integration Testing

Fevzi Belli Axel Hollmann Sascha Padberg

A Comparative Study of Access Control Languages

Sathish Pinagapani Dianxiang Xu Jun Kong

A Trust-Based Detecting Mechanism against Profile Injection Attacks in Recommender Systems

Qiang Zhang Yuan Luo Chuliang Weng Minglu Li

Verifying Aspect-oriented Programs using Open Temporal Logic

Jia Lv Jing Ying Minghui Wu Tao Jiang Fanwei Zhu

Automated Web Service Composition System on Enterprise Service Bus

Xinhuai Tang Sizhe Sun Xiaozhou Yuan Delai Chen

Security Engineering: Developments and Directions

Bhavani Thuraisingham

Simplifying Parametrization of Bayesian Networks in Prediction of System Quality

Aida Omerovic Ketil Stolen

A Game Theoretic Approach to Decision and Analysis in Strategies of Attack and Defense

Jin-Cherng Lin Jan-Min Chen Chou-Chuan Chen Yu-Shu Chien

An Analysis for Understanding Software Security Requirement Methodologies

Jing Du Ye Yang Qing Wang

Automatic Test Data Generation : Who, When and Where ?

Software Engineering

A Classification of Aspect Composition Problems

Kun Tian Kendra Cooper Kang Zhang Huiqun Yu

ReconBin: Reconstructing Binary File from Ezecution for Software Analysis

Lingyun YING Purui SU Dengguo FENG Xianggen WANG Yi YANG Yu LIU

Visualizing Multiple Program Ezecutions to Assist Behavior Verification

Chunying Zhao Kang Zhang Jie Hao W. Eric Wong

A Turing Machine-Based Model for Computer Forensic Reconstruction

Ryan Hankins Tetsutaroh Uehara Jigang Liu

Efficient Multi-secret Sharing Scheme Using Room Square

Ming-Jheng Li Ying-Hsuan Chang Justie Su-Tzu Juan

Checking Service Instance Protection for AMF Configurations

P. Salehi F. Khendek M. Toeroe A. Hamou-Lhadj A. Gherbi

Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines

Pradeep Varma Vijay K. Naik

Software Stability Model (SSM)for Building Reliable Real Time Computing Systems

Naganathan.E.R. Eugene X.P.

Implementation of the Privacy Protection in Video Surveillance System

Hae-Min Moon Sung Bum Pan