International Journal On Advances in Security, volume 5, numbers 3 and 4, 2012

Type: journal

Notes: A free access journal featuring works submitted on an invitation basis only.

ISSN: 1942-2636

Articles: there are 6 articles

Managing Timing Implications of Security Aspects in Model-Driven Development of Real-Time Embedded Systems
Mehrdad Saadatmand, Thomas Leveque, Antonio Cicchetti, and Mikael Sjödin
keywords: Real-Time Embedded Systems; Security; Model-Driven Development; Component-Based Development; Runtime Adaptation; Encryption.

Preventing Protocol Switching Covert Channels
Steffen Wendzel and Jörg Keller
keywords: Protocol Switching Covert Channel; Protocol Channel; Active Warden; Covert Channel Detection; Network Security

Securing Access to Data in Business Intelligence Domains
Ahmad Altamimi and Todd Eavis
keywords: Data warehouses; Data security; Query processing

Verification with AVISPA to Engineer Network Security Protocols
Florian Kammueller Florian Kammueller
keywords: Security protocols, Model Checking, Crypto- graphic Hashes, Simple Protocol

Mitigating Distributed Service Flooding Attacks with Guided Tour Puzzles
Mehmud Abliz, Taieb Znati, and Adam Lee
keywords: denial of service; availability; tour puzzles; proof of work; client puzzles; cryptography.

A Distributed Hash Table Assisted Intrusion Prevention System
Zoltán Czirkos, Márta Rencz, and Gábor Hosszú
keywords: collaborative intrusion detection; attack correlation; peer-to-peer; distributed hash table; Kademlia