1. Home
  2. Proceedings
  3. HASE
  4. HASE 2008
Default Cover Image

2008 11th IEEE High Assurance Systems Engineering Symposium

Dec. 3 2008 to Dec. 5 2008

Nanjing

Table of Contents

Papers
Conference organizationFreely available from IEEE.pp. xii-xiv
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-ix
Papers
list-reviewerFreely available from IEEE.pp. xv
Evaluating Security Risks following a Compliance PerspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 27-36
by Reinaldo de B. Correia, Luci Pirmez, Luiz F. Rust C. Carmo
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
Message from the ChairsFreely available from IEEE.pp. x-xi
Papers
Path Sensitive Analysis for Security FlawsFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Mary Lou Soffa
Papers
Transaction CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 4
by Jifeng He
Papers
Assurance Technology of System Test Based on OperatorsFull-text access may be available. Sign in or learn about subscription options.pp. 5
by Masayuki Matsumoto
Papers
Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security InspectionFull-text access may be available. Sign in or learn about subscription options.pp. 9-18
by Holger Peine, Marek Jawurek, Stefan Mandel
Papers
Low Cost Secure Computation for the General Client-Server Computation ModelFull-text access may be available. Sign in or learn about subscription options.pp. 19-26
by Liangliang Xiao, I-Ling Yen, Farokh Bastani
Verification of Exception Control Flows and Handlers Based on Architectural ScenariosFull-text access may be available. Sign in or learn about subscription options.pp. 177-186
by Patrick Henrique da Silva Brito, Rogério de Lemos, Cecilía Mary Fischer Rubira
Papers
On the Comparison of Network Attack Datasets: An Empirical AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 39-48
by Robin Berthier, Dave Korman, Michel Cukier, Matti Hiltunen, Gregg Vesonder, Daniel Sheleheda
Papers
On the Use of Security Metrics Based on Intrusion Prevention System Event Data: An Empirical AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 49-58
by Danielle Chrun, Michel Cukier, Gerry Sneeringer
Papers
The Deployment of a Darknet on an Organization-Wide Network: An Empirical AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 59-68
by Robin Berthier, Michel Cukier
Papers
A Scalable Checkpoint Encoding Algorithm for Diskless CheckpointingFull-text access may be available. Sign in or learn about subscription options.pp. 71-79
by Zizhong Chen, Jack Dongarra
Papers
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 80-88
by Qin Li, Jinpeng Huai, Jianxin Li, Tianyu Wo, Minxiong Wen
Papers
Towards Secure Trust Bootstrapping in Pervasive Computing EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 89-96
by Sheikh I. Ahamed, Endadul Hoque, Farzana Rahman, Mohammad Zulkernine
Papers
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) DiscriminationFull-text access may be available. Sign in or learn about subscription options.pp. 97-106
by Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
Papers
A Low Energy Soft Error-Tolerant Register File Architecture for Embedded ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 109-116
by M. Fazeli, S.N. Ahmadian, S.G. Miremadi
Papers
Randomization Based Probabilistic Approach to Detect Trojan CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 117-124
by Susmit Jha, Sumit Kumar Jha
Papers
On the Integrity of Lightweight CheckpointsFull-text access may be available. Sign in or learn about subscription options.pp. 125-134
by Raul Barbosa, Johan Karlsson
Papers
A Fast Performance Analysis Tool for Multicore, Multithreaded Communication ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 135-144
by Hun Jung, Miao Ju, Hao Che, Zhijun Wang
Papers
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 147-153
by Sumit Kumar Jha, Susmit Jha
Papers
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 154-164
by Jonas Elmqvist, Simin Nadjm-Tehrani
Papers
A Few Remarks about Formal Development of Secure SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 165-174
by Éric Jaeger, Thérèse Hardin
Papers
Localizing Program Errors via Slicing and ReasoningFull-text access may be available. Sign in or learn about subscription options.pp. 187-196
by Fei Pu, Yan Zhang
Papers
A Timed Extension of Property Sequence ChartFull-text access may be available. Sign in or learn about subscription options.pp. 197-206
by Pengcheng Zhang, Bixin Li, Mingjie Sun
Papers
An Interaction-Based Test Sequence Generation Approach for Testing Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 209-218
by Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker
Papers
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 219-228
by Hakim Belhaouari, Frederic Peschanski
Papers
Mutation-Based Testing of Format String BugsFull-text access may be available. Sign in or learn about subscription options.pp. 229-238
by Hossain Shahriar, Mohammad Zulkernine
Papers
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java CodeFull-text access may be available. Sign in or learn about subscription options.pp. 241-250
by Alfredo Pironti, Riccardo Sisto
Papers
A Multi-Periodic Synchronous Data-Flow LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 251-260
by Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
Papers
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 261-270
by Kohei Sakurai, Péter Bokor, Neeraj Suri
Papers
At What Level of Granularity Should We be Componentizing for Software Reliability?Full-text access may be available. Sign in or learn about subscription options.pp. 273-282
by Atef Mohamed, Mohammad Zulkernine
Papers
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADLFull-text access may be available. Sign in or learn about subscription options.pp. 283-292
by Lars Grunske, Jun Han
Papers
Software Quality Improvement via Pattern-Based Model RefactoringFull-text access may be available. Sign in or learn about subscription options.pp. 293-302
by Dae-Kyoo Kim
Papers
A Novel Model for Component-Based Software Reliability AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 303-309
by Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong
Papers
Automotive Safety Case Full-text access may be available. Sign in or learn about subscription options.pp. 313-322
by Fredrik Törner, Peter Öhman
Papers
Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 323-332
by Miao Jiang, Mohammad A. Munawar, Thomas Reidemeister, Paul A.S. Ward
Papers
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 333-342
by Jicheng Fu, Farokh B. Bastani, I-Ling Yen
Papers
Layered Memory Architecture for High IO Intensive Information Services to Achieve TimelinessFull-text access may be available. Sign in or learn about subscription options.pp. 343-349
by Hironao Takahashi, Hafiz Farooq Ahmad, Kinji Mori
Papers
Securing Sensor Nodes Against Side Channel AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 353-361
by Kanthakumar Pongaliur, Zubin Abraham, Alex X. Liu, Li Xiao, Leo Kempel
Papers
Power Optimization in Fault-Tolerant Mobile Ad Hoc NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 362-370
by Oliviero Riganelli, Radu Grosu, Samir R. Das, C.R. Ramakrishnan, Scott A. Smolka
Papers
A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL SystemFull-text access may be available. Sign in or learn about subscription options.pp. 373-382
by Kun Bai, Peng Liu
Papers
Secure, Highly Available, and High Performance Peer-to-Peer Storage SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 383-391
by Yunqi Ye, I-Ling Yen, Liangliang Xiao, Bhavani Thuraisingham
Papers
Privacy, Preservation and Performance: The 3 P's of Distributed Data ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 392-401
by Bobji Mungamuru, Hector Garcia-Molina
Papers
A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community SystemFull-text access may be available. Sign in or learn about subscription options.pp. 405-413
by Khalid Mahmood, Satoshi Niki, Xiaodong Lu, Kinji Mori
Papers
[Roster]Freely available from IEEE.pp. 494
Papers
Architecture Centric System Design for Supporting Reconfiguration of Service Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 414-423
by Wang Chu, Depei Qian
Papers
A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 424-433
by Daniel Robinson, Gerald Kotonya
Papers
Formalize UML 2 Sequence DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 437-440
by Hui Shen, Aliya Virani, Jianwei Niu
Papers
Towards the Service Composition Through BusesFull-text access may be available. Sign in or learn about subscription options.pp. 441-444
by Qin Li, Huibiao Zhu, Jifeng He
Papers
Designing, Modelling and Verifying a Container Terminal System Using UPPAALFull-text access may be available. Sign in or learn about subscription options.pp. 445-448
by Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du
Papers
A Grammar-Based Reverse Engineering Framework for Behavior VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 449-452
by Chunying Zhao, Kang Zhang
Papers
Checking Inconsistency of Rule Sets in Active Real-Time DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 453-456
by Jian Zhang
Papers
An Integrated Model to Analyze Cryptographic Protocols with Colored Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 457-460
by Jin Wei, Guiping Su, Meng Xu
Papers
Reliability Design for Large Scale Storage SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 463-466
by Kai Du, Huaimin Wang, Shuqiang Yang, Yingwen Chen, Yan Wen
Papers
A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex FaultsFull-text access may be available. Sign in or learn about subscription options.pp. 467-470
by Lingfu Xie, Du Xu, Qing Yao, Lei Song
Papers
Using Multi-Level Security Annotations to Improve Software AssuranceFull-text access may be available. Sign in or learn about subscription options.pp. 471-474
by Eryk Kylikowski, Riccardo Scandariato, Wouter Joosen
Papers
DPAC: A Reuse-Oriented Password Authentication Framework for Improving Password SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 475-478
by Hua Wang, Yao Guo, Xiangqun Chen
Papers
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission ValueFull-text access may be available. Sign in or learn about subscription options.pp. 479-482
by Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Papers
Methodology for Service-Oriented Management of Security Assurance in Communication InfrastructuresFull-text access may be available. Sign in or learn about subscription options.pp. 483-486
by Albin Zuccato, Samuel Dubus, Evren Bulut
Papers
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 487-490
by Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao
Papers
Author IndexFreely available from IEEE.pp. 491-493
Showing 67 out of 67