CSDL - Proceedings A

PDF

ARES and Workshops Committees (PDF)

pp. xix

PDF

Session 1: Trust Model & Trust Management

Formalising Dynamic Trust Negotiations in Decentralised Collaborative e-Health Systems (Abstract)

Oluwafemi Ajayi, University of Glasgow, UK

Richard Sinnott, University of Glasgow, UK

Anthony Stell, University of Glasgow, UK

pp. 3-10

PDF

Why Trust is not Proportional to Risk (Abstract)

pp. 11-18

PDF

From Trust to Dependability through Risk Analysis (Abstract)

Yudistira Asnar, University of Trento

Paolo Giorgini, University of Trento

Fabio Massacci, University of Trento

Nicola Zannone, University of Trento

pp. 19-26

PDF

Dynamic trust domains for secure, private, technology-assisted living (Abstract)

Jatinder Singh, University of Cambridge

Jean Bacon, University of Cambridge

Ken Moody, University of Cambridge

pp. 27-34

PDF

A Hybrid Trust Model for Enhancing Security in Distributed Systems (Abstract)

Ching Lin, Macquarie University, Sydney, Australia

Vijay Varadharajan, Macquarie University, Sydney, Australia

pp. 35-42

PDF

A Reliable Component-Based Architecture for E-Mail Filtering (Abstract)

Wilfried N. Gansterer, University of Vienna

Andreas G.K. Janecek, University of Vienna

Peter Lechner, University of Vienna

pp. 43-52

PDF

Session 2: Availability, Fault-Tolerant & Recovery

Availability and Performance of the Adaptive Voting Replication (Abstract)

Johannes Osrael, Vienna University of Technology

Lorenz Froihofer, Vienna University of Technology

Norbert Chlaupek, University of Applied Sciences fh-campus wien, Daumegasse 5, 1100 Vienna, Austria

Karl M. Goeschka, Vienna University of Technology

pp. 53-60

PDF

Distributed Stream Processing Analysis in High Availability Context (Abstract)

Marcin Gorawski, Silesian University of Technology, Poland

Pawel Marks, Silesian University of Technology, Poland

pp. 61-68

PDF

Implementing Network Partition-Aware Fault-Tolerant CORBA Systems (Abstract)

Stefan Beyer, Universidad Politecnica de Valencia

Francesc D. Munoz-Esco, Universidad Politecnica de Valencia

Pablo Galdamez, Universidad Politecnica de Valencia

pp. 69-76

PDF

Failure Recovery in Cooperative Data Stream Analysis (Abstract)

Bin Rong, RMIT University, Melbourne, Australia

Fred Douglis, IBM T. J. Watson Research Center Hawthorne, NY, USA

Cathy H. Xia, IBM T. J. Watson Research Center Hawthorne, NY, USA

Zhen Liu, IBM T.J. Watson Research Center, USA

pp. 77-84

PDF

A Recovery Protocol for Middleware Replicated Databases Providing GSI (Abstract)

J.E. Armendariz, Instituto Tecnologico de Informatica, Valencia, Spain

F.D. Munoz-Esco, Instituto Tecnologico de Informatica, Valencia, Spain

J.R. Juarez, Universidad Publica de Navarra, Spain

J.R. G. de Mendivil, Universidad Publica de Navarra, Spain

B. Kemme, McGill University, Canada

pp. 85-92

PDF

Revisiting Hot Passive Replication (Abstract)

Ruben de Juan-Marin, Universidad Politecnica de Valencia

Hendrik Decker, Universidad Politecnica de Valencia

Francesc D. Munoz-Esco, Universidad Politecnica de Valencia

pp. 93-102

PDF

Session 3: Reputation Management & Trust

Reputation Management Survey (Abstract)

Sini Ruohomaa, University of Helsinki

Lea Kutvonen, University of Helsinki

Eleni Koutrouli, National University of Athens

pp. 103-111

PDF

Dirichlet Reputation Systems (Abstract)

Audun Josang, Queensland University of Technology

Jochen Haller, SAP Research Germany

pp. 112-119

PDF

Compartmented Security for Browsers - Or How to Thwart a Phisher with Trusted Computing (Abstract)

Sebastian Gajek, Ruhr-University Bochum, Germany

Ahmad-Reza Sadeghi, Ruhr-University Bochum, Germany

Christian Stuble, Ruhr-University Bochum, Germany

Marcel Winandy, Ruhr-University Bochum, Germany

pp. 120-127

PDF

Secure Anonymous Union Computation Among Malicious Partners (Abstract)

Stefan Bottcher, University of Paderborn, Germany

Sebastian Obermeier, University of Paderborn, Germany

pp. 128-138

PDF

Session 4: Privacy & Access Control

A Privacy Enhancing Service Architecture for Ticket-based Mobile Applications (Abstract)

Oliver Jorns, Telecommunications Research, Vienna, Austria

Oliver Jung, Telecommunications Research, Vienna, Austria

Gerald Quirchmayr, University of Vienna

pp. 139-146

PDF

Privacy in Pervasive Computing and Open Issues (Abstract)

Pankaj Bhaskar, Marquette University, Milwaukee, WI, USA

Sheikh I Ahamed, Marquette University, Milwaukee, WI, USA

pp. 147-154

PDF

Context-Dependent Access Control for Contextual Information (Abstract)

Christin Groba, Technische Universitat Dresden, Germany

Stephan Grob, Technische Universitat Dresden, Germany

Thomas Springer, Technische Universitat Dresden, Germany

pp. 155-161

PDF

Bytecode Verification for Enhanced JVM Access Control (Abstract)

Dongxi Liu, University of Tokyo

pp. 162-172

PDF

Session 5: Failure Detection & Attack Prevention

Automatic Failure Detection with Separation of Concerns (Abstract)

P. Hazy, University of Waterloo, Canada

R. E. Seviora, University of Waterloo, Canada

pp. 173-181

PDF

A Failure Detection Service for Large-Scale Dependable Wireless Ad-Hoc and Sensor Networks (Abstract)

Mourad Elhadef, University of Ottawa, Ottawa, Canada

Azzedine Boukerche, University of Ottawa, Ottawa, Canada

pp. 182-189

PDF

Intrusion detection system for signal based SIP attacks through timed HCPN (Abstract)

Yanlan Ding, Graduate University of Chinese Academy of Sciences, Beijing

Guiping Su, Graduate University of Chinese Academy of Sciences, Beijing

pp. 190-197

PDF

3G-WLAN Convergence: Vulnerability, Attacks Possibilities and Security Model (Abstract)

Muhammad Sher, Technical University Berlin/Fokus Fraunhofer Telecommunication Institute, Germany

Thomas Magedanz, Technical University Berlin/Fokus Fraunhofer Telecommunication Institute, Germany

pp. 198-205

PDF

Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic (Abstract)

Meriam Ben Ghorbel, Digital Security Unit, Higher School of Communication,Tunis, Tunisia

Mehdi Talbi, Digital Security Unit, Higher School of Communication,Tunis, Tunisia

Mohamed Mejri, Laval University,Quebec, Canada

pp. 206-212

PDF

Near Optimal Protection Strategies Against Targeted Attacks on the Core Node of a Network (Abstract)

Frank Yeong-Sung Lin, National Taiwan University

Po-Hao Tsang, National Taiwan University

Yi-Luen Lin, National Taiwan University

pp. 213-222

PDF

Session 6: Authentication & Authorisation

Errors in Attacks on Authentication Protocols (Abstract)

Anders Moen Hagalisletto, University of Oslo

pp. 223-229

PDF

Effects of Architectural Decisions in Authentication and Authorisation Infrastructures (Abstract)

Christian Schlager, University of Regensburg, Germany

Monika Ganslmayer, R&L Inc., Landshut, Germany

pp. 230-237

PDF

Vulnerability Analysis of EMAP-An Efficient RFID Mutual Authentication Protocol (Abstract)

Tieyan Li, Institute for Infocomm Research, Singapore

Robert Deng, Singapore Management University

pp. 238-245

PDF

Authentication Mechanisms for Mobile Agents (Abstract)

Leila Ismail, United Arab Emirates University

pp. 246-253

PDF

Using SAML and XACML for Complex Authorisation Scenarios in Dynamic Resource Provisioning (Abstract)

Yuri Demchenko, University of Amsterdam

Leon Gommans, University of Amsterdam

Cees de Laat, University of Amsterdam

pp. 254-262

PDF

Implicit Authorization for Accessing Location Data in a Social Context (Abstract)

Georg Treu, Mobile and Distributed Systems Group, Institute for Informatics

Florian Fuchs, Mobile and Distributed Systems Group, Institute for Informatics

Christiane Dargatz, Ludwig-Maximilian University Munich, Germany

pp. 263-272

PDF

Session 7: Security Algorithm & Framework

Fingerprint Matching Algorithm Based on Tree Comparison using Ratios of Relational Distances (Abstract)

Abinandhan Chandrasekaran, University of Texas at Dallas

Bhavani Thuraisingham, University of Texas at Dallas

pp. 273-280

PDF

A Reconfigurable Implementation of the New Secure Hash Algorithm (Abstract)

M. Zeghida, LESTER-University of South Brittany, Lorient, France

B. Bouallegue, Electronics and Micro-Electronic Laboratory (LEME), Monastir, Tunisia

A. Baganne, LESTER-University of South Brittany, Lorient, France

M. Machhout, Electronics and Micro-Electronic Laboratory (LEME), Monastir, Tunisia

R. Tourki, Electronics and Micro-Electronic Laboratory (LEME), Monastir, Tunisia

pp. 281-285

PDF

Applications for Provably Secure Intent Protection with Bounded Input-Size Programs (Abstract)

J. Todd McDonald, Air Force Institute of Technology, Wright Patterson AFB, OH

Alec Yasinsac, Florida State University

pp. 286-293

PDF

A Framework for the Development of Secure Data Warehouses based on MDA and QVT (Abstract)

Emilio Soler, University of Matanzas,Cuba

Juan Trujillo, University of Alicante, Spain

Eduardo Fern?ndez-Medina, University of Castilla-La Mancha

Mario Piattini, University of Castilla-La Mancha

pp. 294-300

PDF

Session 8: Software Security

Design of a Process for Software Security (Abstract)

David Byers, Linkopings universitet, SE-58183 Linkoping, Sweden

Nahid Shahmehri, Linkopings universitet, SE-58183 Linkoping, Sweden

pp. 301-309

PDF

STEF: A Secure Ticket-Based En-route Filtering Scheme for Wireless Sensor Networks (Abstract)

Christoph Kraub, University of Technology, Darmstadt, Germany

Markus Schneider, Fraunhofer Institute for Secure Information Technology (SIT), Darmstadt, Germany

Kpatcha Bayarou, Fraunhofer Institute for Secure Information Technology (SIT), Darmstadt, Germany

Claudia Eckert, Darmstadt University of Technology, Darmstadt, Germany

pp. 310-317

PDF

A secure architecture for the pseudonymization of medical data (Abstract)

Bernhard Riedl, Secure Business Austria

Thomas Neubauer, Secure Business Austria

Gernot Goluch, Secure Business Austria

Oswald Boehm, Braincon Technologies, Vienna, Austria

Gert Reinauer, Braincon Technologies, Vienna, Austria

Alexander Krumboeck, Braincon Technologies, Vienna, Austria

pp. 318-324

PDF

Collection of Quantitative Data on Security Incidents (Abstract)

Thomas Nowey, University of Regensburg Germany

Hannes Federrath, University of Regensburg Germany

pp. 325-334

PDF

Session 9: Security Models

Security vulnerabilities in DNS and DNSSEC (Abstract)

Suranjith Ariyapperuma, University of London

Chris J. Mitchell, University of London

pp. 335-342

PDF

Secure, Resilient Computing Clusters: Self-Cleansing Intrusion Tolerance with Hardware Enforced Security (SCIT/HES) (Abstract)

David Arsenault, George Mason University

Arun Sood, George Mason University

Yih Huang, George Mason University

pp. 343-350

PDF

Applying a Tradeoff Model (TOM) to TACT (Abstract)

Raihan Al-Ekram, University of Waterloo, Canada

Ric Holt, University of Waterloo, Canada

Chris Hobbs, Nortel, Ottawa, Canada

pp. 351-355

PDF

A Pattern System for Security Requirements Engineering (Abstract)

Denis Hatebur, University Duisburg-Essen, Germany

Maritta Heisel, University Duisburg-Essen, Germany

Holger Schmidt, University Duisburg-Essen, Germany

pp. 356-365

PDF

Security Requirements for a Semantic Service-oriented Architecture (Abstract)

Stefan Durbeck, University of Regensburg

Rolf Schillinger, University of Regensburg

Jan Kolter, University of Regensburg

pp. 366-373

PDF

Supporting Compliant and Secure User Handling - A Structured Approach for In-House Identity Management (Abstract)

Ludwig Fuchs, University of Regensburg, Germany

Gunther Pernul, University of Regensburg, Germany

pp. 374-384

PDF

Session 10: Miscellaneous Security Techniques

A New Classification Scheme for Anonymization of Real Data Used in IDS Benchmarking (Abstract)

Vidar Evenrud Seeberg, Norsvin, Hamar, Norway

Slobodan Petrovic, Gjovik University College, P.O. box 191, N-2802 Gjovik, Norway

pp. 385-390

PDF

Static evaluation of Certificate Policies for GRID PKIs interoperability (Abstract)

Valentina Casola, University of Naples, Federico II, Italy

Nicola Mazzocca, University of Naples, Federico II, Italy

Jesus Luna, Universitat Polit?cnica de Catalunya, Spain

Oscar Manso, Universitat Polit?cnica de Catalunya, Spain

Manel Medina, Universitat Polit?cnica de Catalunya, Spain

pp. 391-399

PDF

Towards an Ontology-based Risk Assessment in Collaborative Environment Using the SemanticLIFE (Abstract)

Mansoor Ahmed, Vienna University of Technology

Amin Anjomshoaa, Vienna University of Technology

Tho Manh Nguyen, Vienna University of Technology

A Min Tjoa, Vienna University of Technology

pp. 400-407

PDF

Universally Composable Three-Party Key Distribution (Abstract)

TingMao Chang, Information Engineering University,Henan, China

YueFei Zhu, Information Engineering University,Henan, China

Jin Zhou, Information Engineering University,Henan, China

YaJuan Zhang, Guangzhou University, China

pp. 408-416

PDF

Session 11: eAuction & eVoting Protocol

An Efficient eAuction Protocol (Abstract)

Brian Curtis, Australian Catholic University

Josef Pieprzyk, Macquarie University

Jan Seruga, Australian Catholic University

pp. 417-421

PDF

Enhancing the Security of Local DangerWarnings in VANETs - A Simulative Analysis of Voting Schemes (Abstract)

Benedikt Ostermaier, ETH Zurich, Switzerland

Florian Dotzer, ASKON Consulting Group, Germany

Markus Strassberger, BMW Group, Germany

pp. 422-431

PDF

A Practical Verifiable e-Voting Protocol for Large Scale Elections over a Network (Abstract)

Orhan Cetinkaya, Institute of Applied Mathematics,METU, Ankara, Turkey

Ali Doganaksoy, METU, Ankara, Turkey

pp. 432-442

PDF

Session 12: Dependability in Distributed & Ubiquitous Computing

Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems (Abstract)

Lorenz Froihofer, Vienna University of Technology

Johannes Osrael, Vienna University of Technology

Karl M. Goeschka, Vienna University of Technology

pp. 443-450

PDF

Dependability Aspects of Ubiquitous Computing (Abstract)

Lu Yan, University College London

Kaisa Sere, Abo Akademi University, Finland

pp. 451-453

PDF

Concurrency Control using Subject- and Purpose-Oriented (SPO) View (Abstract)

Tomoya Enokido, Rissho University

Makoto Takizawa, Tokyo Denki University

pp. 454-464

PDF

Session 13: Anomaly & Intrusion Detection

Comparing Classifier Combining Techniques for Mobile-Masquerader Detection (Abstract)

Oleksiy Mazhelis, University of Jyvaskyla, Finland

Seppo Puuronen, University of Jyvaskyla, Finland

pp. 465-472

PDF

Process Profiling Using Frequencies of System Calls (Abstract)

Surekha Mariam Varghese, M.A. College of Engineering Kothamangalam, India

K.Poulose Jacob, Cochin University of Science and Technology, Kochi, India

pp. 473-479

PDF

Terrorist Networks Analysis through Argument Driven Hypotheses Model (Abstract)

D. M. Akbar Hussain, Aalborg University Esbjerg, Denmark

pp. 480-492

PDF

Session 1: Fault-Tolerant & Availability

High Availability for Network Management Applications (Abstract)

S. Prabhu, Cisco Systems, Inc.

R. Venkat, Cisco Systems, Inc.

pp. 493-498

PDF

RWAR: A Resilient Window-consistent Asynchronous Replication Protocol (Abstract)

Yanlong Wang, Northwestern Polytechnical University

Zhanhuai Li, Northwestern Polytechnical University

Wei Lin, Northwestern Polytechnical University

pp. 499-505

PDF

Fault-Tolerant Semi-Passive Coordination Protocol for a Multi-Actuator/Multi-Sensor (MAMS) Model (Abstract)

Keiji Ozaki, Tokyo Denki University, Japan

Naohiro Hayashibara, Tokyo Denki University, Japan

Tomoya Enokido, Rissho University, Japan

Makoto Takizawa, Tokyo Denki University, Japan

pp. 506-516

PDF

Session 2: Access Control

Realizing fine-granular Read andWrite Rights on Tree Structured Documents (Abstract)

Franz Kollmann, University of Klagenfurt

pp. 517-523

PDF

Access Control Model for Web Services with Attribute Disclosure Restriction (Abstract)

Vipin Singh Mewar, Indian Institute of Technology, Kharagpur, India

Subhendu Aich, Indian Institute of Technology, Kharagpur, India

Shamik Sural, Indian Institute of Technology, Kharagpur, India

pp. 524-531

PDF

Aggregating and Deploying Network Access Control Policies (Abstract)

Joaquin G. Alfaro, Universitat Oberta de Catalunya

Frederic Cuppens, GET/ENST-Bretagne, France

Nora Cuppens-Boulahia, GET/ENST-Bretagne, France

pp. 532-542

PDF

Session 3: Authentication

Secure Spatial Authentication using Cell Phones (Abstract)

Arjan Durresi, Baton Rouge, Louisiana, USA

Vamsi Paruchuri, Louisiana State University

Mimoza Durresi, Fukuoka Institute of Technology, Fukuoka, Japan

Leonard Barolli, Fukuoka Institute of Technology, Fukuoka, Japan

pp. 543-549

PDF

Broadcast Authentication Protocol with Time Synchronization and Quadratic Residues Chain (Abstract)

Bogdan Groza, Politehnica University of Timisoara, Romania

pp. 550-557

PDF

A Secure Key Exchange and Mutual Authentication Protocol for Wireless Mobile Communications (Abstract)

HE Yijun, Central South University

XU Nan, City University of Hong Kong, Kowloon

LI Jie, City University of Hong Kong, Kowloon

pp. 558-563

PDF

Improved Client-to-Client Password-Authenticated Key Exchange Protocol (Abstract)

Yao Gang, Graduate University of Chinese Academy of Sciences

Feng Dengguo, Graduate University of Chinese Academy of Sciences

Han Xiaoxi, Graduate University of Chinese Academy of Sciences

pp. 564-574

PDF

Session 4: Real-Time System & Sensor Network

Adaptation Mechanisms for Survivable Sensor Networks against Denial of Service Attack (Abstract)

Dong Seong Kim, Hankuk Aviation University, Seoul, Korea

Chung Su Yang, Hankuk Aviation University, Seoul, Korea

Jong Sou Park, Hankuk Aviation University, Seoul, Korea

pp. 575-579

PDF

Models for automatic generation of safety-critical real-time systems (Abstract)

Christian Buckl, Technische Universitat Munchen, Germany

Matthias Regensburger, Technische Universitat Munchen, Germany

Alois Knoll, Technische Universitat Munchen, Germany

Gerhard Schrott, Technische Universitat Munchen, Germany

pp. 580-587

PDF

A Near-Real-Time Behaviour Control Framework (Abstract)

Bastian Preindl, Vienna University of Technology

Alexander Schatten, Vienna University of Technology

pp. 588-598

PDF

Session 5: RFID Techniques & Applications

RFID Security Issues in Military Supply Chains (Abstract)

Qinghan Xiao, Defence Research and Development Canada Ottawa

Cam Boulet, Defence Research and Development Canada Ottawa

Thomas Gibbons, Operational Support Transformation - CANOSCOM

pp. 599-605

PDF

The Cost of Preserving Privacy: Performance Measurements of RFID Pseudonym Protocols (Abstract)

Jens Mache, Lewis & Clark College

Chris Allick, Lewis & Clark College

pp. 606-609

PDF

Mobile phone based RFID architecture for secure electronic Payments using RFID credit cards (Abstract)

Geethapriya Venkataramani, Applied Research Group, Satyam Computers Services Limited

Srividya Gopalan, Applied Research Group, Satyam Computers Services Limited

pp. 610-620

PDF

Session 6: Secure Solution & Applications

A Modular Architecture for Secure and Reliable Distributed Communication (Abstract)

C.M. Jayalath, Apache Software Foundation

R.U. Fernando, Apache Software Foundation

pp. 621-628

PDF

Security Oriented e-Infrastructures Supporting Neurological Research and Clinical Trials (Abstract)

Anthony Stell, University of Glasgow

Richard Sinnott, University of Glasgow

Oluwafemi Ajayi, University of Glasgow

Jipu Jiang, University of Glasgow

pp. 629-636

PDF

Securing Medical Sensor Environments: The CodeBlue Framework Case (Abstract)

Georgios Kambourakis, University of the Aegean, Karlovassi, Greece

Eleni Klaoudatou, University of the Aegean, Karlovassi, Greece

Stefanos Gritzalis, University of the Aegean, Karlovassi, Greece

pp. 637-643

PDF

A set of QVT relations to transform PIM to PSM in the Design of Secure Data Warehouses (Abstract)

Emilio Soler, University of Matanzas, Cuba

Juan Trujillo, University of Alicante

Eduardo Fern?ndez-Medina, University of Castilla-La Mancha, Spain

Mario Piattini, University of Castilla-La Mancha, Spain

pp. 644-654

PDF

Session 7: Security Issue in Business Management

Agent Alliances: A Means for Practical Threshold Signature (Abstract)

Regine Endsuleit, Universitat Karlsruhe (TH) IAKS Germany

Christoph Amma, Universitat Karlsruhe (TH) IAKS Germany

pp. 655-662

PDF

Protecting Online Transactions with Unique Embedded Key Generators (Abstract)

Martin Boesgaard, codesealer.com

Erik Zenner, codesealer.com

pp. 663-669

PDF

A research agenda for Autonomous Business Process Management (Abstract)

Thomas Neubauer, Secure Business Austria

Gernot Goluch, Secure Business Austria

Bernhard Riedl, Secure Business Austria

pp. 670-680

PDF

Session 8: Web, XML, Content Management

Secure Web Application Development and Global Regulation (Abstract)

William Bradley Glisson, University of Glasgow

L. Milton Glisson, N. C. A&T State University

Ray Welland, N. C. A&T State University

pp. 681-688

PDF

Query Assurance Verification for Dynamic Outsourced XML Databases (Abstract)

Viet Hung Nguyen, University of Technology, Vietnam

Tran Khanh Dang, University of Technology, Vietnam

Nguyen Thanh Son, University of Technology, Vietnam

Josef Kung, Johannes Kepler University of Linz, Austria

pp. 689-696

PDF

A Reflection-Based Framework for Content Validation (Abstract)

Lars-Helge Netland, University of Bergen

Yngve Espelid, University of Bergen

Khalid A. Mughal, University of Bergen

pp. 697-706

PDF

Session 9: Security Policies & Techniques

Web Engineering Security: Essential Elements (Abstract)

William Bradley Glisson, University of Glasgow

Ray Welland, University of Glasgow

pp. 707-714

PDF

Designing a Security Policy According to BS 7799 Using the OCTAVE Methodology (Abstract)

Januszkiewicz Paulina, Academy of Business in D?browa G?rnicza, Poland

Pyka Marek, Academy of Business in D?browa G?rnicza, Poland

pp. 715-722

PDF

CSP-Based Firewall Rule Set Diagnosis using Security Policies (Abstract)

S. Pozo, University of Seville, Spain

R. Ceballos, University of Seville, Spain

R. M. Gasca, University of Seville, Spain

pp. 723-729

PDF

CASSIS - Computer-based Academy for Security and Safety in Information Systems (Abstract)

Gernot Goluch, Secure Business Austria

Andreas Ekelhart, Secure Business Austria

Stefan Fenz, Secure Business Austria

Stefan Jakoubi, Secure Business Austria

Bernhard Riedl, Secure Business Austria

Simon Tjoa, Secure Business Austria

pp. 730-740

PDF

Session 10: Trust Management & Trust Model

Trust in global computing systems as a limit property emerging from short range random interactions (Abstract)

V. Liagkou, University of Patras

E. Makri, University of the Aegean

P. Spirakis, University of Patras

Y.C. Stamatiou, University of Ioannina

pp. 741-748

PDF

A Trust Overlay Architecture and Protocol for Enhanced Protection against Spam (Abstract)

Jimmy McGibney, Waterford Institute of Technology

Dmitri Botvich, Waterford Institute of Technology

pp. 749-756

PDF

HICI: An Approach for Identifying Trust Elements The case of technological trust perspective in VBEs (Abstract)

Simon Samwel Msanjila, University of Amsterdam

Hamideh Afsarmanesh, University of Amsterdam

pp. 757-764

PDF

A Semantic and Time Related Recommendation-Feedback Trust Model (Abstract)

Zhang Lin, Nanjing University, China

Xu Feng, Nanjing University, China

Wang Yuan, Nanjing University, China

Lv Jian, Nanjing University, China

pp. 765-774

PDF

Session 11: Miscellaneous Applications

AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification (Abstract)

Mohammad Raihan, Queen?s University, Kingston

Mohammad Zulkernine, Queen?s University, Kingston

pp. 775-782

PDF

Error Modeling in RF-based Location Detection (EMLD) for Pervasive Computing Environments (Abstract)

Niraj Swami, Marquette University, Milwaukee, WI, USA

Sheikh I Ahamed, Marquette University, Milwaukee, WI, USA

pp. 783-790

PDF

A performance model to Cooperative Itinerant Agents (CIA): a security scheme to IDS (Abstract)

Rafael P?ez, Technical University of Catalonia, Barcelona, Spain

Cristina Satiz?bal, Pamplona University, Pamplona, Colombia

Jordi Forne, Technical University of Catalonia, Barcelona, Spain

pp. 791-798

PDF

On the Assessment of the Interaction Quality of Users with Cerebral Palsy (Abstract)

C. Mauri, Lleida University, Spain

T. Granollers, Lleida University, Spain

A. Solanas, Universitat Rovira i Virgili, Spain

pp. 799-805

PDF

Research and Design of Mobile Impeachment System with Semi-cryptonym (Abstract)

Chaobo Yang, South China University of Technology, Guangzhou, 510640 China

Ming Qi, South China University of Technology, Guangzhou, 510640 China

pp. 806-811

PDF

Efficient Malicious Agreement in a Virtual Subnet Network (Abstract)

Shu-Ching Wang, Chaoyang University of Technology, Taiwan

Shyi-Ching Liang, Chaoyang University of Technology, Taiwan

Kuo-Qin Yan, Chaoyang University of Technology, Taiwan

Guang-Yan Zheng, Chaoyang University of Technology, Taiwan

pp. 812-820

PDF

Second International Workshop Dependability Aspects on Data Warehousing and Mining Applications (DAWAM 2007)

Extended RBAC - Based Design and Implementation for a Secure Data Warehouse (Abstract)

Bhavani Thuraisingham, The University of Texas at Dallas

Srinivasan Iyer, The University of Texas at Dallas

pp. 821-828

PDF

Application of QVT for the Development of Secure Data Warehouses: A case study (Abstract)

Emilio Soler, University of Matanzas, Cuba

Juan Trujillo, University of Alicante, Spain

Eduardo Fern?ndez-Medina, University of Castilla-La Mancha, Spain

Mario Piattini, University of Castilla-La Mancha, Spain

pp. 829-836

PDF

Protecting Private Information by Data Separation in Distributed Spatial Data Warehouse (Abstract)

Marcin Gorawski, Silesian University of Technology

Jakub Bularz, Silesian University of Technology

pp. 837-844

PDF

Applying a Flexible Mining Architecture to Intrusion Detection (Abstract)

Marcello Castellano, Politecnico di Bari

Giuseppe Mastronardi, Politecnico di Bari

Angela Aprile, Politecnico di Bari

Giuliano Bellone de Grecis, ACG srl - An IBM Company

Flaviano Fiorino, ACG srl - An IBM Company

pp. 845-852

PDF

An Application of Learning Problem in Anomaly-based Intrusion Detection Systems (Abstract)

Veselina G. Jecheva, Burgas Free University

Evgeniya P. Nikolova, Burgas Free University

pp. 853-860

PDF

Detecting Critical Regions in Covert Networks: A Case Study of 9/11 Terrorists Network (Abstract)

Nasrullah Memon, Aalborg Universitet, Denmark

Kim C. Kristoffersen, Aalborg Universitet

David L. Hicks, Aalborg Universitet

Henrik Legind Larsen, Aalborg Universitet

pp. 861-870

PDF

Access Control and Integration of Health Care Systems: An Experience Report and Future Challenges (Abstract)

Lillian Rostad, Norwegian University of Science and Technology

Oystein Nytro, Norwegian University of Science and Technology

pp. 871-878

PDF

A Collaborative Inter Data Grids Strong Semantic Model with Hybrid Namespace (Abstract)

Dalia El-Mansy, Southern Methodist University, Texas, USA

Ahmed Sameh, American University in Cairo, Cairo, Egypt

pp. 878-885

PDF

Reliability Markov Chains for Security Data Transmitter Analysis (Abstract)

Calin Ciufudean, University, 9 University str., Suceava, 720225, Romania

Bianca Satco, University, 9 University str., Suceava, 720225, Romania

Constantin Filote, University, 9 University str., Suceava, 720225, Romania

pp. 886-894

PDF

2nd International Workshop Dependability and Security in e-Government (DeSeGov 2007)

Requirements and Evaluation Procedures for eVoting (Abstract)

Melanie Volkamer, German Research Center for Artificial Intelligence

Margaret McGaley, NUI Maynooth

pp. 895-902

PDF

Towards Secure E-Elections in Turkey: Requirements and Principles (Abstract)

Orhan Cetinkaya, METU, Ankara, Turkey

Deniz Cetinkaya, METU, Ankara, Turkey

pp. 903-907

PDF

On Coercion-Resistant Electronic Elections with Linear Work (Abstract)

Stefan G. Weber, Darmstadt University of Technology

Roberto Araujo, Darmstadt University of Technology

Johannes Buchmann, Darmstadt University of Technology

pp. 908-916

PDF

A Security Model and Architecture for Multichannel E-Government Systems (Abstract)

MariaGrazia Fugini, Politecnico di Milano

pp. 917-924

PDF

eTVRA, a Threat, Vulnerability and Risk Assessment Method and Tool for eEurope (Abstract)

Judith E. Y. Rossebo, NTNU, Department of Telematics, Norway

Scott Cadzow, Cadzow Communications (C3L), 10 Yewlands

Paul Sijben, EemValley Technology, Contrabaserf, Netherlands

pp. 925-933

PDF

Framework for Information Sharing Across Multiple Government Agencies under Dynamic Access Policies (Abstract)

K. Bhoopalam, Old Dominion University

K. Maly, Old Dominion University

R. Mukkamala, Old Dominion University

M. Zubair, Old Dominion University

pp. 934-940

PDF

Secure Distributed Dossier Management in the Legal Domain (Abstract)

Martijn Warnier, VU University Amsterdam

Frances Brazier, VU University Amsterdam

Martin Apistola, VU University Amsterdam

Anja Oskamp, VU University Amsterdam

pp. 941-947

PDF

Building a Dependable Messaging Infrastructure for Electronic Government (Abstract)

Elsa Estevez, Universidad Nacional del Sur, Argentina

Tomasz Janowski, United Nations University International Institute for Software Technology, Macao

pp. 948-958

PDF

Workshop on Foundations of Fault-tolerant Distributed Computing (FOFDC 2007)

A Universal Construction for Concurrent Objects (Abstract)

Rachid GUERRAOUI, EPFL, Lausanne, Switzerland

Michel RAYNAL, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France

pp. 959-966

PDF

FCPre: Extending the Arora-Kulkarni Method of Automatic Addition of Fault-Tolerance (Abstract)

Bastian Braun, University of Hamburg

pp. 967-974

PDF

On the implementation of the Omega failure detector in the crash-recovery failure model (Abstract)

Cristian Martin, University of the Basque Country, Spain

Mikel Larrea, University of the Basque Country, Spain

Ernesto Jimenez, Universidad Polit?ecnica de Madrid, Spain

pp. 975-982

PDF

Self-Diagnosing Wireless Mesh and Ad-Hoc Networks using an Adaptable Comparison-Based Approach (Abstract)

Mourad Elhadef, University of Ottawa, Ottawa, Canada

Azzedine Boukerche, University of Ottawa, Ottawa, Canada

Hisham Elkadiki, University of Ottawa, Ottawa, Canada

pp. 983-990

PDF

Self-Stabilization as a Foundation for Autonomic Computing (Abstract)

Olga Brukman, Ben-Gurion University, Israel

Shlomi Dolev, Ben-Gurion University, Israel

Yinnon Haviv, Ben-Gurion University, Israel

Reuven Yagel, Ben-Gurion University, Israel

pp. 991-998

PDF

On Programming Models for Service-Level High Availability (Abstract)

C. Engelmann, University of Reading, UK

S. L. Scott, Oak Ridge National Laboratory, USA

C. Leangsuksun, Louisiana Tech University, USA

X. He, Tennessee Technological University, USA

pp. 999-1008

PDF

First International Workshop on Secure Software Engineering (SecSE 2007)

Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process (Abstract)

Christos Kalloniatis, University of the Aegean

Evangelia Kavakli, University of the Aegean

Stefanos Gritzalis, University of the Aegean

pp. 1009-1017

PDF

How can the developer benefit from security modeling? (Abstract)

Shanai Ardi, Linkopings universitet

David Byers, Linkopings universitet

Per Hakon Meland, SINTEF ICT, Norway

Inger Anne Tondel, SINTEF ICT, Norway

Nahid Shahmehri, Linkopings universitet

pp. 1017-1025

PDF

AProSec: an Aspect for Programming Secure Web Applications (Abstract)

Gabriel Hermosillo, ITESM-CEM-Dpto. Ciencias Computacionales, Mexico

Roberto Gomez, ITESM-CEM-Dpto. Ciencias Computacionales, Mexico

Lionel Seinturier, LIFL - INRIA Jacquard Project, France

Laurence Duchien, LIFL - INRIA Jacquard Project, France

pp. 1026-1033

PDF

Empirical and statistical analysis of risk analysis-driven techniques for threat management (Abstract)

Koen Buyens, DistriNet research group, Department of Computer Science, K.U.Leuven, Belgium

Bart De Win, DistriNet research group, Department of Computer Science, K.U.Leuven, Belgium

Wouter Joosen, DistriNet research group, Department of Computer Science, K.U.Leuven, Belgium

pp. 1034-1041

PDF

Secure Software Development through Coding Conventions and Frameworks (Abstract)

Takao Okubo, Fujitsu Laboratories ltd., Institute of Information Security

Hidehiko Tanaka, Fujitsu Laboratories ltd., Institute of Information Security

pp. 1042-1051

PDF

Pastures: Towards Usable Security Policy Engineering (Abstract)

Sergey Bratus, Dartmouth College

Alex Ferguson, Dartmouth College

Doug McIlroy, Dartmouth College

Sean Smith, Dartmouth College

pp. 1052-1059

PDF

Security Objectives within a Security Testing Case Study (Abstract)

Kaarina Karppinen, VTT Technical Research Centre of Finland, Oulu, Finland

Reijo Savola, VTT Technical Research Centre of Finland, Oulu, Finland

Mikko Rapeli, VTT Technical Research Centre of Finland, Oulu, Finland

Esa Tikkala, VTT Technical Research Centre of Finland, Oulu, Finland

pp. 1060-1065

PDF

CppTest: A Prototype Tool for Testing C/C++ Programs (Abstract)

Chengying Mao, Jiangxi Univ. of Finance & Economics Nanchang, Jiangxi 330013, China

Yansheng Lu, College of Computer Scie. and Tech., Wuhan, Hubei 430074, China

pp. 1066-1073

PDF

A Novel Approach to Building Secure Systems (Abstract)

Dragan Vidakovic, Gimnazija Ivanjica

Dejan Simic, FON Belgrade

pp. 1074-1084

PDF

Workshop on "Modeling, Designing, and Testing Correct, Secure, and Dependable Event-Based System" (EBITS 2007)

Exception Handling in an Event-Driven System (Abstract)

Jan Ploski, OFFIS Institute for Information Technology, Oldenburg, Germany

Wilhelm Hasselbring, University of Oldenburg, Germany

pp. 1085-1092

PDF

Issues in Testing Dependable Event-Based Systems at a Systems Integration Company (Abstract)

Armin Beer, Siemens Program and Systems Engineering, Vienna, Austria

Matthias Heindl, Siemens Program and Systems Engineering, Vienna, Austria

pp. 1093-1100

PDF

Optimizing Events Traffic in Event-based Systems by means of Evolutionary Algorithms (Abstract)

Jiri Kubalik, Technical University in Vienna

Richard Mordinyi, Vienna University of Technology

pp. 1101-1107

PDF

Event-Based Monitoring of Open Source Software Projects (Abstract)

Dindin Wahyudin, Vienna University of Technology

A Min Tjoa, Vienna University of Technology

pp. 1108-1115

PDF

Using Space-Based Computing for More Efficient Group Coordination and Monitoring in an Event-Based Work Management System (Abstract)

Marcus Mor, Vienna University of Technology

Richard Mordinyi, Vienna University of Technology

Johannes Riemer, Vienna University of Technology

pp. 1116-1123

PDF

Indexing and Search of Correlated Business Events (Abstract)

Roland Vecera, senactive.com

Szabolcs Rozsnyai, securityresearch.at

Heinz Roth, senactive.com

pp. 1124-1134

PDF

First International Workshop on Advances in Information Security (WAIS 2007)

An Approach for Adaptive Intrusion Prevention Based on The Danger (Abstract)

Alexander Krizhanovsky, Moscow Aviation Institute, Moscow, Russia

Alexander Marasanov, Moscow Aviation Institute, Moscow, Russia

pp. 1135-1142

PDF

A Human-Verifiable Authentication Protocol Using Visible Laser Light (Abstract)

Rene Mayrhofer, Lancaster University

Martyn Welch, Lancaster University

pp. 1143-1148

PDF

Insider-secure Hybrid Signcryption SchemeWithout Random Oracles (Abstract)

Chik How Tan, Gjovik University College, Norway

pp. 1148-1154

PDF

ZeroBio - Evaluation and Development of Asymmetric Fingerprint Authentication System Using Oblivious Neural Network Evaluation Protocol (Abstract)

Kei Nagai, Tokai University

Hiroaki Kikuchi, Tokai University

Wakaha Ogata, Tokyo Institute of Technology

Masakatsu Nishigaki, Shizuoka University

pp. 1155-1159

PDF

A Policy Language for the Extended Reference Monitor in Trusted Operating Systems (Abstract)

Hyung Chan Kim, Gwangju Institute of Science and Technology, Korea

R.S. Ramakrishna, Gwangju Institute of Science and Technology, Korea

Wook Shin, University of Illinois at Urbana-Champaign

Kouichi Sakurai, Kyushu University, Fukuoka 812-8581, Japan

pp. 1160-1166

PDF

Analysis on Bleichenbacher?s Forgery Attack (Abstract)

Tetsuya Izu, FUJITSU LABORATORIES Ltd.

Masahiko Takenaka, FUJITSU LABORATORIES Ltd.

Takeshi Shimoyama, FUJITSU LABORATORIES Ltd.

pp. 1167-1174

PDF

A New Method for Reducing the Revocation Delay in the Attribute Authentication (Abstract)

Yoshio KAKIZAKI, Tokai University Unified Graduate School

Hidekazu TSUJI, Tokai University

pp. 1175-1182

PDF

Efficient Multiparty Computation for Comparator Networks (Abstract)

Koji Chida, NTT Corporation

Hiroaki Kikuchi, Tokai University

Gembu Morohashi, NTT Corporation

Keiichi Hirota, NTT Corporation

pp. 1183-1189

PDF

Pseudo-Voter Identity (PVID) Scheme for e-Voting Protocols (Abstract)

Orhan Cetinkaya, METU, Ankara, Turkey

Ali Doganaksoy, METU, Ankara, Turkey

pp. 1190-1196

PDF

Attacks are Protocols Too (Abstract)

Anders Moen Hagalisletto, University of Oslo

pp. 1197-1206

PDF

Evaluation Function for Synthesizing Security Protocols by means of Genetic Algorithms (Abstract)

Luis Zarza, Universidad Tecnol?gica de la Mixteca

Josep Pegueroles, Technical University of Catalonia

Miguel Soriano, Technical University of Catalonia

pp. 1207-1213

PDF

On the use of one-way chain based authentication protocols in secure control systems (Abstract)

Bogdan Groza, Politehnica University of Timisoara, Romania

Toma-Leonida Dragomir, Politehnica University of Timisoara, Romania

pp. 1214-1221

PDF

Bypassing Data Execution Prevention on MicrosoftWindows XP SP2 (Abstract)

Nenad Stojanovski, Macedonian Telecommunication

Marjan Gusev, St. Cyril and Methodious University, Republic of Macedonia

Danilo Gligoroski, Norwegian University of Science and Technology, Trondheim, Norway

Svein.J. Knapskog, Norwegian University of Science and Technology, Trondheim, Norway

pp. 1222-1226

PDF

A Security Framework in RFID Multi-domain System (Abstract)

Dong Seong Kim, Hankuk Aviation University, Seoul, Korea

Taek-Hyun Shin, Hankuk Aviation University, Seoul, Korea

Jong Sou Park, Hankuk Aviation University, Seoul, Korea

pp. 1227-1234

PDF

Workshop on "Security in E-Learning" (SEL)

E-Learning 2.0 = e-Learning 1.0 + Web 2.0? (Abstract)

Martin Ebner

pp. 1235-1239

PDF

Blended Learning Technology in Information Security Management Courses (Abstract)

Gerald Quirchmayr, Institute of Distributed and Multimedia Systems

pp. 1240-1244

PDF

Defining a Trusted Service-Oriented Network Environment (Abstract)

Emmanuel A. Adigun, University of Pretoria, South Africa

J.H.P. Eloff, University of Pretoria, South Africa

pp. 1245-1250

PDF

Designing a Cryptographic Scheme for e-Surveys in Higher-Education Institutions (Abstract)

Alan Ward, University of Andorra

Jordi Castella Roca, Rovira i Virgili University of Tarragona

Alex Dorca Josa, University of Andorra

pp. 1251-1255

PDF

Author Index

Author Index (PDF)

pp. 1256