NDLI: Table of contents

Please wait, while we are loading the content...

2015 IEEE 16th International Symposium on High Assurance Systems Engineering

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

2010 IEEE 12th International Symposium on High Assurance Systems Engineering

2008 11th IEEE High Assurance Systems Engineering Symposium

Table of contents

Message from the Chairs

Conference organization

Path Sensitive Analysis for Security Flaws

Transaction Calculus

Assurance Technology of System Test Based on Operators' Aspects

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

Low Cost Secure Computation for the General Client-Server Computation Model

Evaluating Security Risks following a Compliance Perspective

On the Comparison of Network Attack Datasets: An Empirical Analysis

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

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

A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing

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

Towards Secure Trust Bootstrapping in Pervasive Computing Environment

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

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

Randomization Based Probabilistic Approach to Detect Trojan Circuits

On the Integrity of Lightweight Checkpoints

A Fast Performance Analysis Tool for Multicore, Multithreaded Communication Processors

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

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

A Few Remarks about Formal Development of Secure Systems

Verification of Exception Control Flows and Handlers Based on Architectural Scenarios

Localizing Program Errors via Slicing and Reasoning

A Timed Extension of Property Sequence Chart

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

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

Mutation-Based Testing of Format String Bugs

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

A Multi-Periodic Synchronous Data-Flow Language

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

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

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

Software Quality Improvement via Pattern-Based Model Refactoring

A Novel Model for Component-Based Software Reliability Analysis

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

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

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

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

Securing Sensor Nodes Against Side Channel Attacks

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks

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

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

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

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

Architecture Centric System Design for Supporting Reconfiguration of Service Oriented Systems

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

Formalize UML 2 Sequence Diagrams

Towards the Service Composition Through Buses

Designing, Modelling and Verifying a Container Terminal System Using UPPAAL

A Grammar-Based Reverse Engineering Framework for Behavior Verification

Checking Inconsistency of Rule Sets in Active Real-Time Databases

An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets

Reliability Design for Large Scale Storage Systems

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

Using Multi-Level Security Annotations to Improve Software Assurance

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

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

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

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

10th IEEE High Assurance Systems Engineering Symposium (HASE'07)

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.

7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in