Covert Channel Vulnerabilities in Anonymity Systems
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Covert Channel Capacity
COVERT CHANNEL CAPACITY Jonathan K. Millen The MITRE Corporation Bedford, MA 01730 Techniques for detecting covert channels are Some models are aimed at defining information based on information flow models. This paper flow exactly, with necessary and sufficient conditions. establishes a connection between Shannon’s theory These models share the philosophy that information of communication and information flow models, such flow in a computer security context is related to as the Goguen-Meseguer model, that view a reference inference: if one user can, by observing outputs monitor as a state-transition automaton. The channel available to him, deduce something about inputs from associated with a machine and a compromise policy is another user, there has been some information flow. defined, and the capacity of that channel is taken as a Conversely, if there is no information flow, the user’s measure of covert channel information rate. outputs would be the same regardless of the input from the other user. This ap roach was suggested in f INTRODUCTION a paper by Jones and Lipton investigating protection mechanisms in the context of computations, considered as functions rather than machines. This One of the objectives of computer security is to paper defined a security policy as an prevent the unauthorized disclosure of information. information-hiding function applied to the input, and Models of protection mechanisms and policies that said that a protection mechanism was “sound” if the espouse this objective fall into one of two categories: computational values received by the user could have access control models or information flow models. been obtained from such censored input. -
Low-Cost Traffic Analysis Of
Low-Cost Traffic Analysis of Tor Steven J. Murdoch and George Danezis University of Cambridge, Computer Laboratory 15 JJ Thomson Avenue, Cambridge CB3 0FD United Kingdom {Steven.Murdoch,George.Danezis}@cl.cam.ac.uk Abstract Other systems, based on the idea of a mix, were de- veloped to carry low latency traffic. ISDN mixes [33] Tor is the second generation Onion Router, supporting propose a design that allows phone conversations to be the anonymous transport of TCP streams over the Inter- anonymised, and web-mixes [6] follow the same design pat- net. Its low latency makes it very suitable for common terns to anonymise web traffic. A service based on these tasks, such as web browsing, but insecure against traffic- ideas, the Java Anon Proxy (JAP)1 has been implemented analysis attacks by a global passive adversary. We present and is running at the University of Dresden. These ap- new traffic-analysis techniques that allow adversaries with proaches work in a synchronous fashion, which is not well only a partial view of the network to infer which nodes are adapted for the asynchronous nature of widely deployed being used to relay the anonymous streams and therefore TCP/IP networks [8]. greatly reduce the anonymity provided by Tor. Furthermore, The Onion Routing project has been working on stream- we show that otherwise unrelated streams can be linked level, low-latency, high-bandwidth anonymous communi- back to the same initiator. Our attack is feasible for the cations [35]. Their latest design and implementation, adversary anticipated by the Tor designers. Our theoreti- Tor [18], has many attractive features, including forward se- cal attacks are backed up by experiments performed on the curity and support for anonymous servers. -
POWER-Supplay: Leaking Data from Air-Gapped Systems by Turning the Power-Supplies Into Speakers
POWER-SUPPLaY: Leaking Data from Air-Gapped Systems by Turning the Power-Supplies Into Speakers Mordechai Guri Ben-Gurion University of the Negev, Israel Cyber-Security Research Center [email protected] Air-Gap research page: http://www.covertchannels.com Demo video: http://www.covertchannels.com Abstract—It is known that attackers can exfiltrate data from insiders. Famous air-gap breaching cases include Stuxnet [4] air-gapped computers through their speakers via sonic and and Agent.BTZ [5], but other incidents have also been reported ultrasonic waves. To eliminate the threat of such acoustic covert [6], [7]. In 2018, The US Department of Homeland Security channels in sensitive systems, audio hardware can be disabled and the use of loudspeakers can be strictly forbidden. Such audio-less accused Russian government hackers of penetrating America’s systems are considered to be audio-gapped, and hence immune power utilities [8]. Due to reports in the Washington Post to acoustic covert channels. in November 2019, the Nuclear Power Corporation of India In this paper, we introduce a technique that enable attackers Limited (NPCIL) confirmed that the Kudankulam Nuclear leak data acoustically from air-gapped and audio-gapped systems. Power Plant suffered a cyber-attack earlier that year [9]. Our developed malware can exploit the computer power supply unit (PSU) to play sounds and use it as an out-of-band, secondary A. Air-Gap Covert Channels speaker with limited capabilities. The malicious code manipulates the internal switching frequency of the power supply and hence While the infiltration of such networks has been shown to be controls the sound waveforms generated from its capacitors and feasible, the exfiltration of data from non-networked computers transformers. -
Detecting Covert Storage Channels Using Relative Entropy
Raising Flags: Detecting Covert Storage Channels Using Relative Entropy Josephine Chow Xiangyang Li Xenia Mountrouidou University of Maryland, College Park Johns Hopkins University Information College of Charleston College Park, Maryland, US Security Institute Charleston, South Carolina, US [email protected] Baltimore, Maryland, US [email protected] [email protected] Abstract— This paper focuses on one type of Covert Storage Storage Channel (CSC) and Covert Timing Channel (CTC) [1]. Channel (CSC) that uses the 6-bit TCP flag header in TCP/IP A CSC writes to a storage location by a sender process and network packets to transmit secret messages between then a receiver process reads the message according to a pre- accomplices. We use relative entropy to characterize the defined coding scheme of information [2]. In order to transmit irregularity of network flows in comparison to normal traffic. A information secretly, a CTC schematically modulates the normal profile is created by the frequency distribution of TCP temporal characteristic of a process by a sender, which is then flags in regular traffic packets. In detection, the TCP flag measured by the receiver. frequency distribution of network traffic is computed for each unique IP pair. In order to evaluate the accuracy and efficiency Unlike most other exploits, covert channels often go of the proposed method, this study uses real regular traffic data unnoticed by the access control mechanisms of most operating sets as well as CSC messages using coding schemes under systems. They can use a regular medium, such as unused assumptions of both clear text, composed by a list of keywords protocol bits in a networking protocol, in a way that does not common in Unix systems, and encrypted text. -
Privacy As Security
Privacy as Security Dr George Danezis Microsoft Research, Cambridge, UK. [email protected] Dr George Danezis Privacy as Security Key Thesis and Outline What is this talk about? I Explore the relations between notions of `privacy' and `traditional security'. I Key thesis: Privacy is better understood as security! How do we proceed? I Introduction to Privacy. I Revisiting security/privacy properties. Dr George Danezis Privacy as Security Scope Ground rules of this talk: I High-level: keep out the very technical details. Implementation issues, system specific, cryptography, statistics, standards. I Focus on technology and technology policy. There is also law, sociology, political science, and politics. I Look at privacy in the context of computer security Security properties, adversary models, security policies, . I A clear focus on the real world and its constraints. Dr George Danezis Privacy as Security Caricature of the debate: Security or Privacy \Privacy" important but. I . what about abuse and accountability? I . difficulties for Law Enforcement? I . copyright or libel? I (. what does a good, honest person has to hide anyway?) Established wisdom: I Need for a balance... I Control/limit dangerous technology (or research). I Result: Surveillance by design ! no privacy (often). Caricature conclusion: Security is most important! Dr George Danezis Privacy as Security Security and Privacy in Context A brief history of security, and where does privacy fit? I Early days (Pre-1970s): Security for the Government and Military. Focus on confidentiality properties. Some work on Tamper resistance, signal intelligence, . Keep secrets using computer security. I 70s to 90s: Commercial security and security for enterprises. -
Efficient Anonymous Group Communication
Efficient Anonymous Group Communication Vom Fachbereich Informatik der Technischen Universität Darmstadt genehmigte Dissertation zur Erlangung des akademischen Grades Doctor rerum naturalium (Dr. rer. nat.) Eingereicht von: Tim Grube geboren in Seeheim-Jugenheim Tag der Einreichung: 15. Mai 2018 Tag der Disputation: 10. Juli 2018 Erstreferent: Prof. Dr. Max Mühlhäuser Korreferent: Prof. Dr. Mathias Fischer Fachgebiet Telekooperation Fachbereich Informatik Technische Universität Darmstadt Hochschulkennziffer D 17 Darmstadt 2018 Tim Grube: Efficient Anonymous Group Communication, Darmstadt, Technische Universität Darmstadt Jahr der Veröffentlichung der Dissertation auf TUprints: 2018 Veröffentlicht unter CC BY-NC-ND 4.0 International https://creativecommons.org/licenses/ Things are only impossible until they’re not. — Captain Jean-Luc Picard, Star Trek: The Next Generation, “When The Bough Breaks” (1988) Dedicated to the loving memory of my father Volker Grube 1958 – 2007 ABSTRACT This dissertation addresses the important challenge of efficiency in anonymous communication. Solving this challenge is essen- tial to provide anonymity in group communication. Every exchanged message leaks metadata: this information de- scribes the communication itself with, among others, sender, re- cipients, frequency of the communication. While the law pro- tects this information, it is often published and misused with consequences for the participants of the communication—often consequences particular for the senders of information. Anonymous communication systems like Tor break the link be- tween senders and recipients of messages and diminish emerg- ing metadata. However, their design requires duplicating mes- sages for all recipients early, mostly at the sender itself. With that, the system has to handle an unnecessary burden of pro- cessing identical messages. This dissertation contributes a novel mechanism that establishes communication groups such that the message duplication is pushed as close to the recipients as pos- sible. -
Walking Onions: Scaling Distribution of Information Safely in Anonymity Networks
Walking Onions: Scaling Distribution of Information Safely in Anonymity Networks by Chelsea Holland Komlo A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Masters of Mathematics in Computer Science Waterloo, Ontario, Canada, 2020 c Chelsea Holland Komlo 2020 Author’s Declaration This thesis consists of material all of which I authored or co-authored: see Statement of Con- tributions included in the thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Statement of Contributions Walking Onions first originated as a Tor proposal authored by Nick Mathewson [Mat20c], who is a co-author of this work. In this original proposal, Nick proposed the concept of ENDIVEs and SNIPs, as well as the concept of one protocol variant presented in this work which we call Telescoping Walking Onions. Additionally this proposal introduced the concept of bootstrapping using a circuit through a directory cache. Our collaboration on the published version of Walking Onions has since been accepted to the USENIX Security Symposium [KMG20]. In his capacity as co-author of our joint work, Nick created the framework for our bandwidth and CPU performance analysis, and used this framework to assess the performance of Telescop- ing Walking Onions relative to Idealized Tor. Nick also wrote the python script for our real numbers analysis, which we use to compare the performance of Walking Onions in actualized estimates against a simplified Tor-like network. -
Using Onion Routing to Secure Peer-To-Peer Supported Business
Using Onion Routing to Secure Peer-to- Peer Supported Business Collaboration Fabian STÄBER, Udo BARTLANG, Jörg P. MÜLLER Siemens AG, Corporate Technology, Information and Communications Otto-Hahn-Ring 6, Munich, D-81739, Germany Tel: +49 (0)89 636-41619, Fax: +49 (0)89 636-41423 e-mail: {fabian.staeber, udo.bartlang, joerg.p.Mueller}[email protected] Abstract: Peer-to-Peer computing provides reliable self-organizing adaptable architectures, fitting perfectly as a foundation for enabling enterprises to seamlessly inter-operate with one another in a loosely coupled fashion. However, the absence of hierarchical structures in P2P architectures raises security challenges, especially in scenarios that are of “co-opetitive” nature, i.e., where the involved business partners may be cooperating and competing, at the same time, and where there is only limited trust between the partners. This paper addresses some of these security issues. We propose an approach using onion routing, which is a well known algorithm, originally used for anonymous email communication. We present a real-world use case regarding business integration in the automotive industry, and show how onion routing can be integrated into our peer-to-peer platform to meet the security requirements of business collaboration environments. 1. Introduction Over the past few years, the peer-to-peer paradigm received broad attention in academic research and industry. Offering easy to use plug-and-play networks in combination with resilience, reliability, and the capability of decentral management and loosely coupled control, peer-to-peer systems have become target platforms for a growing number of applications, ranging from Internet file sharing over IP telephony to distributed corporate information management. -
Understanding Microarchitectural Channels and Using Them for Defense
Understanding Microarchitectural Channels and Using Them for Defense Casen Hunger Mikhail Kazdagli Ankit Rawat Alex Dimakis Sriram Vishwanath Mohit Tiwari UT Austin {casen.h, mikhail.kazdagli, ankitsr}@utexas.edu, {dimakis, sriram, tiwari}@austin.utexas.edu Abstract networks-on-chip [9, 8]; clearing out leftover state in Microarchitectural resources such as caches and pre- caches [10] and branch predictor on a context switch [11]; dictors can be used to leak information across security and even complete systems-on-chip where processes cannot domains. Significant prior work has demonstrated attacks interfere with each other [12, 13, 14]. Alternatively, archi- and defenses for specific types of such microarchitectural tects have also proposed the introduction of random noise side and covert channels. In this paper, we introduce a to hardware counters [15] or cache replacement policies [7]. general mathematical study of microarchitectural channels While these approaches are promising, they either address using information theory. Our conceptual contribution is a only known, specific sources of leaks [7, 8, 9] or require simple mathematical abstraction that captures the common far-reaching changes to the entire microarchitecture [12, 14] characteristics of all microarchitectural channels. We call that hamper adoption. this the Bucket model and it reveals that microarchitectural A complementary software-only approach to protect sen- channels are fundamentally different from side and covert sitive data in the cloud is to rent dedicated physical ma- channels in networking. chines, so that only friendly virtual machines co-reside We then quantify the communication capacity of sev- on a physical machine. The challenge for a cloud tenant eral microarchitectural covert channels (including chan- then is to audit whether an attacker has exploited a vulner- nels that rely on performance counters, AES hardware ability in the cloud provider’s software to co-reside on the and memory buses) and measure bandwidths across both same hardware [1]. -
Air Force Institute of Technology
to A TAXONOMY FOR AND ANALYSIS OF ANONYMOUS COMMUNICATIONS NETWORKS DISSERTATION Douglas Kelly, GG-14 AFIT/DCS/ENG/09-08 AIR FORCE INSTITUTE OF TECHNOLOGY Wright-Patterson Air Force Base, Ohio APPROVED FOR PUBLIC RELEASE; DISTRIBUTION UNLIMITED The views expressed in this dissertation are those of the author and do not reflect the official policy or position of the United States Air Force, Department of Defense, or the U.S. Government. A TAXONOMY FOR AND ANALYSIS OF ANONYMOUS COMMUNICATIONS NETWORKS DISSERTATION Presented to the Faculty Graduate School of Engineering and Management Air Force Institute of Technology Air University Air Education and Training Command In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Douglas J. Kelly, BS, MS, MBA March 2009 APPROVED FOR PUBLIC RELEASE; DISTRIBUTION UNLIMITED AFIT/DCS/ENG/09-08 A TAXONOMY FOR AND ANALYSIS OF ANONYMOUS COMMUNICATIONS NETWORKS DISSERTATION Douglas J. Kelly, BS, MS, MBA Approved: __________//SIGNED//________________ _16 Mar 09_ Dr. Richard A. Raines (Chairman) Date __________//SIGNED//________________ _16 Mar 09_ Dr. Barry E. Mullins (Member) Date __________//SIGNED//________________ _16 Mar 09_ Dr. Rusty O. Baldwin (Member) Date __________//SIGNED//________________ _16 Mar 09_ Dr. Michael R. Grimaila (Member) Date Accepted: __________//SIGNED//________________ _18 Mar 09_ Dr. M. U. Thomas Date Dean, Graduate School of Engineering and Management - iii - AFIT/DCS/ENG/09-08 Abstract Any entity operating in cyberspace is susceptible to debilitating attacks. With cyber attacks intended to gather intelligence and disrupt communications rapidly replacing the threat of conventional and nuclear attacks, a new age of warfare is at hand. -
Security Threats and Attacks on Tor
Security Threats and Attacks on Tor Maria Khan, Muhammad Saddique, Muhammad Zohaib Umar Pirzada, Afzaal Ali, Bilal Wadud Electrical and Electronics Engineering Department Cecos University of IT & Emerging Sciences Near East University, North Cyprus Peshawar, Pakistan [email protected] [email protected] Imran Ahmad Faculty of Computing, Riphah International University Lahore, Pakistan [email protected] Additional systems were also developed on the as- sumption that a mix will take low latency traffic. To Abstract anonymize the conversation of phone calls ISDN mixes [10], is designed, and for anonym zing web-mixes [12], The Internet is in use nowadays all over the it also follows the same pattern. At the University of world. While using the Internet, the identi- Dresden the Java Anon Proxy (JAP) is based on this ties of the sender and receiver are not hid- idea and it is fulfilled and running. den; to hide the sender and receiver iden- tities anonymous communication was intro- Tor is a connected network for anonymizing TCP duced. There are many anonymous commu- streams over the Internet [1]. It can report boundaries nication systems developed but, the Onion in design of previous Onion Routing [2-5], by build- Router (Tor) is the most deployed anonymous ing up unspoiled forward confidentiality, then bottle- communication system that provides online neck control, then data purity or integrity, then cus- anonymity and privacy. There are vast se- tomizable exit policies, then index servers, and then curity threats/attacks on Tor that are to be location-hidden services using meeting points. Tor considered. -
Privacy Enhancing Technologies for the Internet III: Ten Years Later
Privacy Enhancing Technologies for the Internet III: Ten Years Later Ian Goldberg David R. Cheriton School of Computer Science University of Waterloo Waterloo, ON [email protected] 1 Introduction In 1997 with Wagner and Brewer, and again in 2002, we looked at the then-current state of privacy-enhancing technologies (PETs) for the Internet. [27, 26] Now, in 2007, we take a third look. Technologies to help users maintain their privacy online are as important today as ever before—if not more so. Identity theft is the fastest-growing crime in the US today [47] and it is all too easy for would-be identity thieves to harvest personal information from the online trails Internet users leave every day. Losses of large databases of personal information are an almost daily occurrence [2]; for example, retailers’ servers are penetrated [44], databases are traded between government and private companies [36] and laptops containing social security numbers are stolen [35]. In 1997, we discussed the dossier effect: all available information about a person gets cross-referenced, and the resulting dossier ends up being used for many purposes, lawful and not. This practice has expanded over the years; the companies that compile and sell these dossiers are known as data brokers. Choicepoint is a prime example—in 2005, this data broker sold dossiers on over 150,000 Americans to a group of criminals. [10] The PETs we discuss here give people a way to control how much of their personal information is revealed when they use the Internet. By controlling the spread of this information, they can limit the size of the data brokers’ dossiers about them.