[Front cover]

A Prototype for Support of Computer Forensic Analysis Combined with the Expected Knowledge Level of an Attacker to More Efficiently Achieve Investigation Results (Abstract)

pp. 696-701

PDF

IEEE Xplore Subscribers

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-xiv

Welcome Message from ARES 2010 Chairs (PDF)

pp. xv

Welcome Message from ARES 2010 Workshop Co-Chair (PDF)

pp. xvi

ARES 2010 Conference Officers (PDF)

pp. xvii

ARES 2010 Reviewer List (PDF)

pp. xviii-xx

Welcome Message from the FARES 2010 Workshop C0-Chairs (PDF)

pp. xxi

Welcome Message from the OSA 2010 Workshop Chair (PDF)

pp. xxii

OSA 2010 Organizing Committee (PDF)

pp. xxiii

OSA 2010 Reviewer List (PDF)

pp. xxiv

Welcome Message from the SECSE 2010 Workshop Organizers (PDF)

pp. xxv

SecSE 2010 Organization (PDF)

pp. xxvi

Welcome Message from the SPattern 2010 Workshop Organizers (PDF)

pp. xxvii

SPattern 2010 Organization Committee (PDF)

pp. xxviii

Welcome Message from the WAIS 2010 Workshop Chair (PDF)

pp. xxix

WAIS 2010 Organizing Committee (PDF)

pp. xxx

WAIS 2010 reviewers (PDF)

pp. xxxi

Welcome Message from the WSDF 2010 Workshop Organizers (PDF)

pp. xxxii

WSDF 2010 Organizing Committee (PDF)

pp. xxxiii

A Security Decision-Reaction Architecture for Heterogeneous Distributed Network (Abstract)

pp. 1-8

PDF

Dual-Level Attack Detection and Characterization for Networks under DDoS (Abstract)

Anjali Sardana

Ramesh Chandra Joshi

pp. 9-16

PDF

Improving Effectiveness of Intrusion Detection by Correlation Feature Selection (Abstract)

pp. 17-24

PDF

Analytical Approach to Attack Graph Analysis for Network Security (Abstract)

Phongphun Kijsanayothin

Rattikorn Hewett

pp. 25-32

PDF

Affects of Queuing Mechanisms on RTP Traffic: Comparative Analysis of Jitter, End-to-End Delay and Packet Loss (Abstract)

pp. 33-40

PDF

A Computer Architecture with Hardwarebased Malware Detection (Abstract)

pp. 41-45

PDF

Solving the Transitive Access Problem for the Services Oriented Architecture (Abstract)

Alan H. Karp

Jun Li

pp. 46-53

PDF

Unified Public Key Infrastructure Supporting Both Certificate-Based and ID-Based Cryptography (Abstract)

Byoungcheon Lee

pp. 54-61

PDF

Secure Bindings of SAML Assertions to TLS Sessions (Abstract)

pp. 62-69

PDF

From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach (Abstract)

Yehia Elrakaiby

Frédéric Cuppens

Nora Cuppens-Boulahia

pp. 70-78

PDF

2-clickAuth (Abstract)

pp. 79-86

PDF

Architecture-Aware Adaptive Deployment of Contextual Security Policies (Abstract)

Stere Preda

Nora Cuppens-Boulahia

Frédéric Cuppens

Laurent Toutain

pp. 87-95

PDF

Using Smart Cards for Tamper-Proof Timestamps on Untrusted Clients (Abstract)

pp. 96-103

PDF

A Semi-Markov Survivability Evaluation Model for Intrusion Tolerant Database Systems (Abstract)

Alex Hai Wang

Su Yan

Peng Liu

pp. 104-111

PDF

FaT2D: Fault Tolerant Directed Diffusion for Wireless Sensor Networks (Abstract)

Fatima Zohra Benhamida

Yacine Challal

pp. 112-118

PDF

An Adaptive Redundancy Oriented Method to Tolerate Soft Errors in SRAM-Based FPGAs Using Unused Resources (Abstract)

Somayeh Bahramnejad

Hamid Reza Zarandi

pp. 119-124

PDF

Analysis of Transient Faults on a MIPS-Based Dual-Core Processor (Abstract)

pp. 125-130

PDF

Visualizing Past Personal Data Disclosures (Abstract)

pp. 131-139

PDF

Strategies for Reducing Risks of Inconsistencies in Access Control Policies (Abstract)

pp. 140-147

PDF

Multi-dimensional Uncertainty Analysis in Secure and Dependable Domain (Abstract)

Yudistira Asnar

Paolo Giorgini

pp. 148-155

PDF

Information Flow in Disaster Management Systems (Abstract)

Achim D. Brucker

Dieter Hutter

pp. 156-163

PDF

Formal Specification and Analysis of an E-voting System (Abstract)

Komminist Weldemariam

Richard A. Kemmerer

Adolfo Villafiorita

pp. 164-171

PDF

Towards a Privacy-Enhanced Social Networking Site (Abstract)

Esma Aïmeur

Sébastien Gambs

Ai Ho

pp. 172-179

PDF

A Formal Approach Towards Risk-Aware Service Level Analysis and Planning (Abstract)

pp. 180-187

PDF

Threat- and Risk-Analysis During Early Security Requirements Engineering (Abstract)

Holger Schmidt

pp. 188-195

PDF

An Analysis of Information Security Awareness within Home and Work Environments (Abstract)

pp. 196-203

PDF

Trust Based Multi Path DSR Protocol (Abstract)

pp. 204-209

PDF

Rui Gustavo Nunes Pereira Crespo

Enhanced Chaotic Stream Cipher for WSNs (Abstract)

Rui Miguel Soares Silva

Mário Serafim dos Santos Nunes

pp. 210-215

PDF

Zone Based Systems Design Framework for the Realisation of Efficient Block Cipher Based Message Authentication Code Algorithms (Abstract)

A.A. Adekunle

S.R. Woodhead

pp. 216-221

PDF

A Semantic Security Architecture for Web Services (Abstract)

pp. 222-227

PDF

FedWare: Middleware Services to Cope with Information Consistency in Federated Identity Management (Abstract)

pp. 228-235

PDF

Owner-Based Role-Based Access Control OB-RBAC (Abstract)

Mohsen Saffarian

Babak Sadighi

pp. 236-241

PDF

Program Obfuscation by Strong Cryptography (Abstract)

Vrba

Pâl Halvorsen

Carsten Griwodz

pp. 242-247

PDF

Pitfalls in Formal Reasoning about Security Protocols (Abstract)

pp. 248-253

PDF

Secure Group Communication Using Fractional Public Keys (Abstract)

Sigurd Eskeland

Vladimir Oleshchuk

pp. 254-257

PDF

Extending the Gordon and Loeb Model for Information Security Investment (Abstract)

Jan Willemson

pp. 258-261

PDF

Risk-Based Methodology for Real-Time Security Monitoring of Interdependent Services in Critical Infrastructures (Abstract)

pp. 262-267

PDF

Planning Dynamic Activity and Resource Allocations Using a Risk-Aware Business Process Management Approach (Abstract)

pp. 268-274

PDF

Security and Usability: Analysis and Evaluation (Abstract)

pp. 275-282

PDF

Recovery of Skype Application Activity Data from Physical Memory (Abstract)

Matthew Simon

Jill Slay

pp. 283-288

PDF

Rejuvenating High Available Virtualized Systems (Abstract)

Arash Rezaei

Mohsen Sharifi

pp. 289-294

PDF

Detection of Spyware by Mining Executable Files (Abstract)

pp. 295-302

PDF

A Probabilistic Approach for On-Line Sum-Auditing (Abstract)

Gerardo Canfora

Bice Cavallo

pp. 303-308

PDF

Towards an Ontology-Based Solution for Managing License Agreement Using Semantic Desktop (Abstract)

pp. 309-314

PDF

Optimising IDS Sensor Placement (Abstract)

pp. 315-320

PDF

Layered Higher Order N-grams for Hardening Payload Based Anomaly Intrusion Detection (Abstract)

pp. 321-326

PDF

Improving Network Intrusion Detection by Means of Domain-Aware Genetic Programming (Abstract)

pp. 327-332

PDF

On the Simulation of a Software Reputation System (Abstract)

pp. 333-340

PDF

Model-Driven Application-Level Encryption for the Privacy of E-health Data (Abstract)

Yun Ding

Karsten Klein

pp. 341-346

PDF

Communal Reputation and Individual Trust (CRIT) in Wireless Sensor Networks (Abstract)

Tanveer A Zia

Md Zahidul Islam

pp. 347-352

PDF

A Multi-stage Methodology for Ensuring Appropriate Security Culture and Governance (Abstract)

Solange Ghernouti-Hélie

Igli Tashi

David Simms

pp. 353-360

PDF

Development of ICT Infrastructure for Local Socio-Economic System in Japan (Abstract)

Hiroshi Nagano

pp. 361-369

PDF

A National Strategy for an Effective Cybersecurity Approach and Culture (Abstract)

Solange Ghernouti-Hélie

pp. 370-373

PDF

Choosing Authentication Techniques in E-procurement System in Serbia (Abstract)

pp. 374-379

PDF

A Continuous Authentication System Based on User Behavior Analysis (Abstract)

Ines Brosso

Alessandro La Neve

Graça Bressan

Wilson Vicente Ruggiero

pp. 380-385

PDF

Identifying Security Relevant Warnings from Static Code Analysis Tools through Code Tainting (Abstract)

Dejan Baca

pp. 386-390

PDF

Reselling Digital Content (Abstract)

Laila El Aimani

Yona Raekow

pp. 391-396

PDF

A New DRM Architecture with Strong Enforcement (Abstract)

Sascha Müller

Stefan Katzenbeisser

pp. 397-403

PDF

A Secure and Scalable Grid-Based Content Management System (Abstract)

pp. 404-409

PDF

A Design Pattern for Event-Based Processing of Security-Enriched SOAP Messages (Abstract)

pp. 410-415

PDF

Challenging IS and ISM Standardization for Business Benefits (Abstract)

Juhani Anttila

Jorma Kajava

pp. 416-421

PDF

Managing the Asset Risk of SMEs (Abstract)

Luís Enrique Sánchez

Carlos Ruiz

Eduardo Fernández-Medina

Mario Piattini

pp. 422-429

PDF

A Generic Metamodel for IT Security (Abstract)

pp. 430-437

PDF

Combining Misuse Cases with Attack Trees and Security Activity Models (Abstract)

pp. 438-445

PDF

External Insider Threat: A Real Security Challenge in Enterprise Value Webs (Abstract)

Virginia N.L. Franqueira

pp. 446-453

PDF

Secure Monitoring of Service Level Agreements (Abstract)

pp. 454-461

PDF

Fighting Phishing with Trusted Email (Abstract)

pp. 462-467

PDF

Application and Economic Implications of an Automated Requirement-Oriented and Standard-Based Compliance Monitoring and Reporting Prototype (Abstract)

pp. 468-474

PDF

A Taxonomy Refining the Security Requirements for Electronic Voting: Analyzing Helios as a Proof of Concept (Abstract)

pp. 475-480

PDF

Secured Key Distribution Scheme for Cryptographic Key Management System (Abstract)

Kyawt Kyawt Khaing

Khin Mi Mi Aung

pp. 481-486

PDF

One Size Fits None: The Importance of Detector Parameterization (Abstract)

Natasha Bodorik

A. Nur Zincir-Heywood

pp. 487-494

PDF

Supporting Authorization Policy Modification in Agile Development of Web Applications (Abstract)

Steffen Bartsch

pp. 495-500

PDF

The Road to Hell is Paved with Good Intentions: A Story of (In)secure Software Development (Abstract)

pp. 501-506

PDF

Katana: A Hot Patching Framework for ELF Executables (Abstract)

pp. 507-512

PDF

Investigating the Limitations of Java Annotations for Input Validation (Abstract)

pp. 513-518

PDF

Classification of Buffer Overflow Vulnerability Monitors (Abstract)

Hossain Shahriar

Mohammad Zulkernine

pp. 519-524

PDF

Configuration Fuzzing for Software Vulnerability Detection (Abstract)

pp. 525-530

PDF

Practical Experience Gained from Modeling Security Goals: Using SGITs in an Industrial Project (Abstract)

pp. 531-536

PDF

Security Modeling and Tool Support Advantages (Abstract)

Egil Trygve Baadshaug

Gencer Erdogan

Per Hâkon Meland

pp. 537-542

PDF

Analysing and Visualising Security and Usability in IRIS (Abstract)

Shamal Faily

Ivan Fléchais

pp. 543-548

PDF

Security and Performance Aspects of an Agent-Based Link-Layer Vulnerability Discovery Mechanism (Abstract)

Ziyad S. Al-Salloum

Stephen D. Wolthusen

pp. 549-554

PDF

Model-Driven Security Patterns Application Based on Dependences among Patterns (Abstract)

pp. 555-559

PDF

Refining the Pattern-Based Reference Model for Electronic Invoices by Incorporating Threats (Abstract)

pp. 560-564

PDF

Measuring the Level of Security Introduced by Security Patterns (Abstract)

pp. 565-568

PDF

Patterns for Secure Boot and Secure Storage in Computer Systems (Abstract)

pp. 569-573

PDF

A Consideration of the Reliability of Registration and Attribute Exchange (Abstract)

Yoshio Kakizaki

Keiichi Iwamura

pp. 574-579

PDF

Binomial-Mix-Based Location Anonymizer System with Global Dummy Generation to Preserve User Location Privacy in Location-Based Services (Abstract)

pp. 580-585

PDF

Multiple Designated Verifiers Signatures Reconsidered (Abstract)

pp. 586-590

PDF

LSM-Based Secure System Monitoring Using Kernel Protection Schemes (Abstract)

Ning Qu

pp. 591-596

PDF

Formalization of Viruses and Malware Through Process Algebras (Abstract)

pp. 597-602

PDF

Heuristics for Detecting Botnet Coordinated Attacks (Abstract)

pp. 603-607

PDF

An Improvement of Robustness Against Physical Attacks and Equipment Independence in Information Hiding Based on the Artificial Fiber Pattern (Abstract)

pp. 608-612

PDF

Large Scale Demonstration Experiments Towards Acheiving Practical Traceback on the Internet (Abstract)

pp. 613-618

PDF

Quantum Detection of Wavelength Division Multiplexing Optical Coherent Signals in Lossy Channels (Abstract)

pp. 619-624

PDF

Experimental Results on Cheon's Algorithm (Abstract)

pp. 625-628

PDF

The 'Explore, Investigate and Correlate' (EIC) Conceptual Framework for Digital Forensics Information Visualisation (Abstract)

pp. 629-634

PDF

A Model for Computer Profiling (Abstract)

pp. 635-640

PDF

Using Normalized Compression Distance for Classifying File Fragments (Abstract)

Stefan Axelsson

pp. 641-646

PDF

A Multi-component View of Digital Forensics (Abstract)

pp. 647-652

PDF

Blind Steganalysis: A Countermeasure for Binary Image Steganography (Abstract)

Kang Leng Chiew

Josef Pieprzyk

pp. 653-658

PDF

Log Analysis Towards an Automated Forensic Diagnosis System (Abstract)

Jorge Herrerías

Roberto Gómez

pp. 659-664

PDF

A Function Oriented Methodology to Validate and Verify Forensic Copy Function of Digital Forensic Tools (Abstract)

Yinghua Guo

Jill Slay

pp. 665-670

PDF

A Complexity Based Model for Quantifying Forensic Evidential Probabilities (Abstract)

pp. 671-676

PDF

A Framework to Guide the Implementation of Proactive Digital Forensics in Organisations (Abstract)

pp. 677-682

PDF

Estimating Hidden Message Length in Binary Image Embedded by Using Boundary Pixels Steganography (Abstract)

Kang Leng Chiew

Josef Pieprzyk

pp. 683-688

PDF

Information Flow Control Using the Java Virtual Machine Tool Interface (JVMTI) (Abstract)

pp. 689-695

PDF

A Novel Image Hiding Scheme Using Content Aware Seam Carving Method (Abstract)

Zahra Toony

Mansour Jamzad

pp. 702-707

PDF

Author Index (PDF)

pp. 708-712

[Publisher information] (PDF)

pp. 714