Publikationsansicht

Detecting Man-in-the-Middle Attacks by Precise Timing (2009)

Abstract
Man-in-the-middle attacks are one of the most popular and fundamental attacks on distributed systems that have evolved with advances in distributed computing technologies and have assumed several shapes ranging from simple IP spoofing to complicated attacks on wireless communications, which have safety-critical applications such as remote wireless passport verification. This paper proposes a static analysis algorithm for the detection of man-in-the-middle attacks in mobile processes using a solution based on precise timing.

Details der Publikation
Download http://epubs.cclrc.ac.uk/work-details?w=49887
Archiv CCLRC ePublication Archive (United Kingdom)
Keywords Engineering, Process Algebra, Quantitative Methods, Security Attacks, Static Analysis
Typ ConferencePaper, Text
Sprache Englisch
Verknüpfungen ESC, STFC, Science and Technology Facilities Council, e-Science, Securware 2009, Athens, Greece, 18-23 Jun 2009