2008 11th IEEE High Assurance Systems Engineering Symposium
Latest Publications

TOTAL DOCUMENTS

68

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By IEEE

9780769534824

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Few Remarks about Formal Development of Secure Systems

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.49 ◽

2008 ◽

Author(s):

Éric Jaeger ◽

Thérèse Hardin

Keyword(s):

Secure Systems ◽

Formal Development

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.62 ◽

2008 ◽

Author(s):

Zhou Zhou ◽

Linzhang Wang ◽

Zhanqi Cui ◽

Xin Chen ◽

Jianhua Zhao

Keyword(s):

Runtime Verification ◽

Behavioral Models ◽

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.24 ◽

2008 ◽

Author(s):

Debmalya Biswas ◽

Thomas Gazagnaire ◽

Blaise Genest

Keyword(s):

Positive Discrimination

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.22 ◽

2008 ◽

Author(s):

Hua Wang ◽

Yao Guo ◽

Xiangqun Chen

Keyword(s):

Password Authentication ◽

Password Security

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.19 ◽

2008 ◽

Author(s):

Qin Li ◽

Jinpeng Huai ◽

Jianxin Li ◽

Tianyu Wo ◽

Minxiong Wen

Keyword(s):

Virtual Machine ◽

Mobile Ip ◽

Live Migration ◽

Virtual Machine Live Migration

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.53 ◽

2008 ◽

Author(s):

Wenhua Wang ◽

Sreedevi Sampath ◽

Yu Lei ◽

Raghu Kacker

Keyword(s):

Web Applications ◽

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.42 ◽

2008 ◽

Author(s):

Hironao Takahashi ◽

Hafiz Farooq Ahmad ◽

Kinji Mori

Keyword(s):

Information Services ◽

Memory Architecture

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.54 ◽

2008 ◽

Author(s):

Robin Berthier ◽

Michel Cukier

Keyword(s):

Empirical Analysis

Download Full-text

Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.44 ◽

2008 ◽

Author(s):

Fredrik Törner ◽

Peter Öhman

Keyword(s):

Qualitative Case Study ◽

Automotive Safety ◽

Download Full-text

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

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.16 ◽

2008 ◽

Author(s):

Miao Jiang ◽

Mohammad A. Munawar ◽

Thomas Reidemeister ◽

Paul A.S. Ward

Keyword(s):

Software Systems ◽

Invariant Analysis ◽

Detection And Diagnosis

Download Full-text