[Front cover]

Conference organization (PDF)

pp. xii-xiv

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-ix

list-reviewer (PDF)

pp. xv

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Message from the Chairs (PDF)

pp. x-xi

Path Sensitive Analysis for Security Flaws (Abstract)

Mary Lou Soffa

pp. 3

PDF

Transaction Calculus (Abstract)

Jifeng He

pp. 4

PDF

Assurance Technology of System Test Based on Operators (Abstract)

Masayuki Matsumoto

pp. 5

PDF

Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection (Abstract)

pp. 9-18

PDF

Low Cost Secure Computation for the General Client-Server Computation Model (Abstract)

pp. 19-26

PDF

Reinaldo de Barros Correia

Evaluating Security Risks following a Compliance Perspective (Abstract)

Luci Pirmez

Luiz Fernando Rust da Costa Carmo

pp. 27-36

PDF

On the Comparison of Network Attack Datasets: An Empirical Analysis (Abstract)

pp. 39-48

PDF

On the Use of Security Metrics Based on Intrusion Prevention System Event Data: An Empirical Analysis (Abstract)

pp. 49-58

PDF

The Deployment of a Darknet on an Organization-Wide Network: An Empirical Analysis (Abstract)

Robin Berthier

Michel Cukier

pp. 59-68

PDF

A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing (Abstract)

Zizhong Chen

Jack Dongarra

pp. 71-79

PDF

HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks (Abstract)

Qin Li

pp. 80-88

PDF

Towards Secure Trust Bootstrapping in Pervasive Computing Environment (Abstract)

pp. 89-96

PDF

Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination (Abstract)

pp. 97-106

PDF

A Low Energy Soft Error-Tolerant Register File Architecture for Embedded Processors (Abstract)

pp. 109-116

PDF

Randomization Based Probabilistic Approach to Detect Trojan Circuits (Abstract)

Susmit Jha

Sumit Kumar Jha

pp. 117-124

PDF

On the Integrity of Lightweight Checkpoints (Abstract)

Raul Barbosa

Johan Karlsson

pp. 125-134

PDF

A Fast Performance Analysis Tool for Multicore, Multithreaded Communication Processors (Abstract)

Hun Jung

Miao Ju

Hao Che

Zhijun Wang

pp. 135-144

PDF

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking (Abstract)

Sumit Kumar Jha

Susmit Jha

pp. 147-153

PDF

Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems (Abstract)

Jonas Elmqvist

Simin Nadjm-Tehrani

pp. 154-164

PDF

A Few Remarks about Formal Development of Secure Systems (Abstract)

Éric Jaeger

Thérèse Hardin

pp. 165-174

PDF

Patrick Henrique da Silva Brito

Verification of Exception Control Flows and Handlers Based on Architectural Scenarios (Abstract)

Rogério de Lemos

Cecilía Mary Fischer Rubira

pp. 177-186

PDF

Localizing Program Errors via Slicing and Reasoning (Abstract)

Fei Pu

Yan Zhang

pp. 187-196

PDF

A Timed Extension of Property Sequence Chart (Abstract)

pp. 197-206

PDF

An Interaction-Based Test Sequence Generation Approach for Testing Web Applications (Abstract)

Yu Lei

pp. 209-218

PDF

Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach (Abstract)

Hakim Belhaouari

Frederic Peschanski

pp. 219-228

PDF

Mutation-Based Testing of Format String Bugs (Abstract)

Hossain Shahriar

Mohammad Zulkernine

pp. 229-238

PDF

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code (Abstract)

Alfredo Pironti

Riccardo Sisto

pp. 241-250

PDF

A Multi-Periodic Synchronous Data-Flow Language (Abstract)

pp. 251-260

PDF

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications (Abstract)

pp. 261-270

PDF

At What Level of Granularity Should We be Componentizing for Software Reliability? (Abstract)

Atef Mohamed

Mohammad Zulkernine

pp. 273-282

PDF

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL (Abstract)

Lars Grunske

Jun Han

pp. 283-292

PDF

Software Quality Improvement via Pattern-Based Model Refactoring (Abstract)

Dae-Kyoo Kim

pp. 293-302

PDF

A Novel Model for Component-Based Software Reliability Analysis (Abstract)

pp. 303-309

PDF

Automotive Safety Case (Abstract)

Fredrik Törner

Peter Öhman

pp. 313-322

PDF

Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis (Abstract)

pp. 323-332

PDF

Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques (Abstract)

pp. 333-342

PDF

Layered Memory Architecture for High IO Intensive Information Services to Achieve Timeliness (Abstract)

pp. 343-349

PDF

Securing Sensor Nodes Against Side Channel Attacks (Abstract)

Kanthakumar Pongaliur

Li Xiao

pp. 353-361

PDF

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks (Abstract)

pp. 362-370

PDF

A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL System (Abstract)

Kun Bai

Peng Liu

pp. 373-382

PDF

Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems (Abstract)

Yunqi Ye

I-Ling Yen

Liangliang Xiao

Bhavani Thuraisingham

pp. 383-391

PDF

Privacy, Preservation and Performance: The 3 P's of Distributed Data Management (Abstract)

Bobji Mungamuru

Hector Garcia-Molina

pp. 392-401

PDF

[Roster] (PDF)

pp. 494

A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community System (Abstract)

pp. 405-413

PDF

Architecture Centric System Design for Supporting Reconfiguration of Service Oriented Systems (Abstract)

Wang Chu

Depei Qian

pp. 414-423

PDF

A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems (Abstract)

Daniel Robinson

Gerald Kotonya

pp. 424-433

PDF

Formalize UML 2 Sequence Diagrams (Abstract)

pp. 437-440

PDF

Towards the Service Composition Through Buses (Abstract)

Qin Li

Huibiao Zhu

Jifeng He

pp. 441-444

PDF

Designing, Modelling and Verifying a Container Terminal System Using UPPAAL (Abstract)

Quan Zu

pp. 445-448

PDF

A Grammar-Based Reverse Engineering Framework for Behavior Verification (Abstract)

Chunying Zhao

Kang Zhang

pp. 449-452

PDF

Checking Inconsistency of Rule Sets in Active Real-Time Databases (Abstract)

Jian Zhang

pp. 453-456

PDF

An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets (Abstract)

Jin Wei

Guiping Su

Meng Xu

pp. 457-460

PDF

Reliability Design for Large Scale Storage Systems (Abstract)

Kai Du

Huaimin Wang

Shuqiang Yang

Yingwen Chen

Yan Wen

pp. 463-466

PDF

A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex Faults (Abstract)

Du Xu

pp. 467-470

PDF

Using Multi-Level Security Annotations to Improve Software Assurance (Abstract)

pp. 471-474

PDF

DPAC: A Reuse-Oriented Password Authentication Framework for Improving Password Security (Abstract)

Hua Wang

Yao Guo

Xiangqun Chen

pp. 475-478

PDF

Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value (Abstract)

Robert K. Abercrombie

Frederick T. Sheldon

Ali Mili

pp. 479-482

PDF

Methodology for Service-Oriented Management of Security Assurance in Communication Infrastructures (Abstract)

pp. 483-486

PDF

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models (Abstract)

pp. 487-490

PDF

Author Index (PDF)

pp. 491-493