667 lines
34 KiB
TeX
667 lines
34 KiB
TeX
%{{{ introduction
|
|
\section{Introduction}
|
|
|
|
The internet has become an irreplaceable part of our day-to-day lives.
|
|
We are always connected via numerous \enquote{smart} and \ac{iot} devices.
|
|
We use the internet to communicate, shop, handle financial transactions, and much more.
|
|
Many personal and professional workflows are so dependent on the internet, that they won't work when being offline, and with the pandemic, we are living through, this dependency grew even bigger.
|
|
|
|
%{{{ motivation
|
|
\subsection{Motivation}
|
|
|
|
The number of connected \ac{iot} devices is around 10 billion in 2021 and is estimated to be constantly growing over the next years up to 25 billion in 2030~\cite{bib:statista_iot_2020}.
|
|
Many of these devices run on outdated software, don't receive any updates, and don't follow general security best practices.
|
|
While in 2016 only \SI{77}{\percent} of German households had a broadband connection with a bandwidth of \SI{50}{\mega\bit\per\second} or more, in 2020 it was already \SI{95}{\percent} with more than \SI{50}{\mega\bit\per\second} and \SI{59}{\percent} with at least \SI{1000}{\mega\bit\per\second}~\cite{bib:statista_broadband_2021}\todo{graph as image?}.
|
|
This makes them an attractive target for botmasters since they are easy to infect, always online, behind internet connections that are getting faster and faster, and due to their nature as small devices, often without any direct user interaction, an infection can go unnoticed for a long time.
|
|
In recent years, \ac{iot} botnets have been responsible for some of the biggest \ac{ddos} attacks ever recorded---creating up to \SI{1}{\tera\bit\per\second} of traffic~\cite{bib:ars_ddos_2016}.
|
|
|
|
|
|
\todo{what is a bot? Infected systems. Malware. DGA, beispiele, tree vs graph}
|
|
|
|
|
|
A botnet is a network of infected computers with some means of communication to control the infected systems.
|
|
Classic botnets use one or more central coordinating hosts called \ac{c2} servers.
|
|
These \ac{c2} servers could use any protocol from \ac{irc} over \ac{http} to Twitter~\cite{bib:pantic_covert_2015} as communication channel with the infected hosts.
|
|
Abusive use of infected systems includes several things\todo{things = bad}, \eg{}, \ac{ddos} attacks, banking fraud, as proxies to hide the attacker's identity, send spam emails\dots{}
|
|
|
|
Analyzing and shutting down a centralized botnet is comparatively easy since every bot knows the IP address, domain name, Twitter handle or \ac{irc} channel the \ac{c2} servers are using.
|
|
|
|
A coordinated operation with help from law enforcement, hosting providers, domain registrars, and platform providers could shut down or take over the operation by changing how requests are rooted or simply shutting down the controlling servers/accounts.
|
|
|
|
To complicate take-down attempts, botnet operators came up with a number of ideas: \acp{dga} use pseudorandomly generated domain names to render simple domain blacklist-based approaches ineffective~\cite{bib:antonakakis_dga_2012} or fast-flux \ac{dns}, where a large pool of IP addresses is used assigned randomly to the \ac{c2} domains to prevent IP based blacklisting~\cite{bib:nazario_as_2008}.
|
|
|
|
%{{{ fig:c2vsp2p
|
|
\begin{figure}[h]
|
|
\centering
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{c2.pdf}
|
|
\caption{Topology of a \ac{c2} controlled botnet}\label{fig:c2}
|
|
\end{subfigure}%
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{p2p.pdf}
|
|
\caption{Topology of a \ac{p2p} botnet}\label{fig:p2p}
|
|
\end{subfigure}%
|
|
\caption{Communication paths in different types of botnets}\label{fig:c2vsp2p}
|
|
\end{figure}
|
|
\todo{better image for p2p, really needed?}
|
|
%}}}fig:c2vsp2p
|
|
|
|
A number of botnet operations were shut down like this~\cite{bib:nadji_beheading_2013} and as the defenders upped their game, so did attackers\todo{too informal?}---the idea of \ac{p2p} botnets came up.
|
|
The idea is to build a decentralized network without \acp{spof} where the \ac{c2} servers are as shown in \autoref{fig:p2p}.
|
|
In a \ac{p2p} botnet, each node in the network knows a number of its neighbors and connects to those, each of these neighbors has a list of neighbors on his own, and so on.
|
|
|
|
This lack of a \ac{spof} makes \ac{p2p} botnets more resilient to take-down attempts since the communication is not stopped and botmasters can easily rejoin the network and send commands.
|
|
|
|
The constantly growing damage produced by botnets has many researchers and law enforcement agencies trying to shut down these operations~\cite{bib:nadji_beheading_2013, bib:nadji_still_2017, bib:dittrich_takeover_2012}.
|
|
The monetary value of these botnets directly correlates with the amount of effort, botmasters are willing to put into implementing defense mechanisms against take-down attempts.
|
|
Some of these countermeasures include deterrence, which limits the number of allowed bots per IP address or subnet to 1; blacklisting, where known crawlers and sensors are blocked from communicating with other bots in the network (mostly IP based); disinformation, when fake bots are placed in the neighborhood lists, which invalidates the data collected by crawlers; and active retaliation like \ac{ddos} attacks against sensors or crawlers~\cite{bib:andriesse_reliable_2015}.
|
|
\todo{source for constantly growing, position in text}
|
|
\todo{take-down? take down?}
|
|
|
|
|
|
%}}} motivation
|
|
|
|
%{{{ formal model
|
|
\subsection{Formal Model of a \ac{p2p} Botnet}
|
|
|
|
A \ac{p2p} botnet can be modelled as a digraph
|
|
|
|
\begin{align*}
|
|
G &= (V, E)
|
|
\end{align*}
|
|
|
|
With the set of vertices \(V\) describing the bots in the network and the set of edges \(E\) describing the communication flow between bots.
|
|
|
|
\(\forall v \in V\), the predecessors \(\text{pred}(v)\) and successors \(\text{succ}(v)\) are defined as:
|
|
|
|
\begin{align*}
|
|
\text{succ}(v) &= \{ u \in V \mid (u, v) \in E \} \\
|
|
\text{pred}(v) &= \{ u \in V \mid (v, u) \in E \}
|
|
\end{align*}
|
|
|
|
For a vertex \(v \in V\), the in and out degree \(\deg^{+}\) and \(\deg^{-}\) describe how many bots know \(v\) or are known by \(v\) respectively.
|
|
|
|
\begin{align*}
|
|
\deg^{+}(v) &= \abs{\text{pred}(v)} \\
|
|
\deg^{-}(v) &= \abs{\text{succ}(v)}
|
|
\end{align*}
|
|
|
|
%}}} formal model
|
|
|
|
%{{{ detection techniques
|
|
\subsection{Detection Techniques for \Acs*{p2p} Botnets}
|
|
|
|
There are two distinct methods to map and get an overview of the network topology of a \ac{p2p} botnet:
|
|
|
|
%{{{ passive detection
|
|
\subsubsection{Passive Detection}
|
|
|
|
For passive detection, traffic flows are analysed in large amounts of collected network traffic (\eg{} from \acp{isp}).
|
|
This has some advantages in that it is not possible for botmasters to detect or prevent data collection of that kind, but it is not trivial to distinguish valid \ac{p2p} application traffic (\eg{} BitTorrent, Skype, cryptocurrencies, \ldots) from \ac{p2p} bots.
|
|
\citeauthor{bib:zhang_building_2014} propose a system of statistical analysis to solve some of these problems in~\cite{bib:zhang_building_2014}.
|
|
Also getting access to the required datasets might not be possible for everyone.
|
|
|
|
\todo{no context}
|
|
\todo{BotGrep (in zhang\_building\_2014)}
|
|
\todo{BotMiner (in zhang\_building\_2014)}
|
|
\begin{itemize}
|
|
|
|
\item Large scale network analysis (hard to differentiate from legitimate \ac{p2p} traffic (\eg{} BitTorrent), hard to get data, knowledge of some known bots required)~\cite{bib:zhang_building_2014}
|
|
|
|
\item Heuristics: Same traffic patterns, same malicious behaviour
|
|
|
|
\end{itemize}
|
|
|
|
%}}} passive detection
|
|
|
|
%{{{ active detection
|
|
\subsubsection{Active Detection}
|
|
|
|
In this case, a subset of the botnet protocol are reimplemented to place pseudo-bots or sensors in the network, which will only communicate with other nodes but won't accept or execute commands to perform malicious actions.
|
|
The difference in behaviour from the reference implementation and conspicuous graph properties (\eg{} high \(\deg^{+}\) vs.\ low \(\deg^{-}\)) of these sensors allows botmasters to detect and block the sensor nodes.
|
|
|
|
There are three subtypes of active detection:
|
|
|
|
\begin{enumerate}
|
|
|
|
\item Crawlers: recursively ask known bots for their neighbourhood lists
|
|
|
|
\item Sensors: implement a subset of the botnet protocol and become part of the network without performing malicious actions
|
|
|
|
\item Hybrid of crawlers and sensors
|
|
|
|
\end{enumerate}
|
|
|
|
%}}} active detection
|
|
|
|
%}}} detection techniques
|
|
|
|
%{{{ detection criteria
|
|
\subsection{Detection Criteria}
|
|
|
|
\begin{itemize}
|
|
|
|
\item \ac{p2p} online time vs host online time
|
|
|
|
\item neighbourhood lists
|
|
|
|
\item no/few \ac{dns} lookups; instead direct lookups from routing tables
|
|
|
|
\end{itemize}
|
|
%}}} detection criteria
|
|
|
|
%}}} introduction
|
|
|
|
|
|
%{{{ methodology
|
|
\section{Methodology}
|
|
|
|
The implementation of the concepts of this work will be done as part of \ac{bms}\footnotemark, a monitoring platform for \ac{p2p} botnets described by \citeauthor{bib:bock_poster_2019} in~\cite{bib:bock_poster_2019}.
|
|
\footnotetext{\url{https://github.com/Telecooperation/BMS}}
|
|
\Ac{bms} uses a hybrid active approach of crawlers and sensors (reimplementations of the \ac{p2p} protocol of a botnet, that won't perform malicious actions) to collect live data from active botnets.
|
|
|
|
In an earlier project, I implemented different node ranking algorithms (among others \enquote{PageRank}~\cite{bib:page_pagerank_1998}) to detect sensors and crawlers in a botnet, as described in \citetitle{bib:karuppayah_sensorbuster_2017}.
|
|
Both ranking algorithms use the \(\deg^+\) and \(\deg^-\) to weight the nodes.
|
|
Another way to enumerate candidates for sensors in a \ac{p2p} botnet is to find \acp{wcc} in the graph.
|
|
Sensors will have few to none outgoing edges, since they don't participate actively in the botnet.
|
|
|
|
The goal of this work is to complicate detection mechanisms like this for botmasters by centralizing the coordination of the system's crawlers and sensors, thereby reducing the node's rank for specific graph metrics.
|
|
The changes should allow the current sensors to use the new abstraction with as few changes as possible to the existing code.
|
|
|
|
The final result should be as general as possible and not depend on any botnet's specific behaviour, but it assumes, that every \ac{p2p} botnet has some kind of \enquote{getNeighbourList} method in the protocol, that allows other peers to request a list of active nodes to connect to.
|
|
|
|
In the current implementation, each sensor will itself visit and monitor each new node it finds.
|
|
The idea for this work is to report newfound nodes back to the \ac{bms} backend first, where the graph of the known network is created, and a sensor is selected, so that the specific ranking algorithm doesn't calculate to a suspiciously high or low value.
|
|
That sensor will be responsible to monitor the new node.
|
|
|
|
If it is not possible, to select a specific sensor so that the monitoring activity stays inconspicuous, the coordinator can do a complete shuffle of all nodes between the sensors to restore the wanted graph properties or warn if more sensors are required to stay undetected.
|
|
|
|
The improved sensor system should allow new sensors to register themselves and their capabilities (\eg{} bandwidth, geolocation ), so the amount of work can be scaled accordingly between hosts.
|
|
Further work might even consider autoscaling the monitoring activity using some kind of cloud computing provider.
|
|
|
|
To validate the result, the old sensor implementation will be compared to the new system using different graph metrics.
|
|
|
|
\todo{maybe?}
|
|
If time allows, \ac{bsf}\footnotemark{} will be used to simulate a botnet place sensors in the simulated network and measure the improvement achieved by the coordinated monitoring effort.
|
|
\footnotetext{\url{https://github.com/tklab-tud/BSF}}
|
|
|
|
\todo{which botnet?}
|
|
As a proof of concept, the coordinated monitoring approach will be implemented and deployed in the (Sality, Mirai, ...)? botnet.
|
|
|
|
%}}} methodology
|
|
|
|
%{{{ primitives
|
|
\subsection{Protocol Primitives}
|
|
|
|
The coordination protocol must allow the following operations:
|
|
|
|
\todo{Testnet + testnet crawler erweitern um mit complete knowledge zu verifizieren}
|
|
|
|
%{{{ sensor to backend
|
|
\subsubsection{Sensor to Backend}
|
|
|
|
\todo{bestehende session Mechanik verwenden/erweitern}
|
|
\todo{failedTries im backend statt eigenem nachrichtentyp: remove?}
|
|
\begin{itemize}
|
|
|
|
\item \mintinline{go}{registerSensor(capabilities)}: Register new sensor with capabilities (which botnet, available bandwidth, \ldots). This is called periodically and used to determine which crawler is still active, when splitting the workload.
|
|
|
|
\item \mintinline{go}{unreachable(targets)}:
|
|
|
|
\item \mintinline{go}{requestTasks() []PeerTask}: Receive a batch of crawl tasks from the coordinator. The tasks consist of the target peer, if the crawler should start or stop the operation, when it should start and stop monitoring and the frequency.
|
|
|
|
\end{itemize}
|
|
|
|
\begin{minted}{go}
|
|
type Peer struct {
|
|
BotID string
|
|
IP string
|
|
Port uint16
|
|
}
|
|
type PeerTask struct {
|
|
Peer Peer
|
|
StartAt *Time
|
|
StopAt *Time
|
|
Frequency uint
|
|
StopCrawling bool
|
|
}
|
|
\end{minted}
|
|
|
|
|
|
%}}} sensor to backend
|
|
|
|
%{{{ backend to sensor
|
|
% TODO: remove?
|
|
\subsubsection{Backend to Sensor}
|
|
|
|
% \begin{itemize}
|
|
|
|
|
|
% % \item \mintinline{go}{stopCrawling(targets)}: Stop crawling a batch of nodes
|
|
|
|
% \end{itemize}
|
|
|
|
%}}} backend to sensor
|
|
|
|
%}}} primitives
|
|
|
|
%}}} methodology
|
|
|
|
%{{{ strategies
|
|
\section{Coordination Strategies}
|
|
|
|
Let \(C\) be the set of available crawlers.
|
|
Without loss of generality, if not stated otherwise, we assume that \(C\) is known when \ac{bms} is started and will not change afterward.
|
|
There will be no joining or leaving crawlers.
|
|
|
|
%{{{ load balancing
|
|
\subsection{Load Balancing}
|
|
|
|
This strategy simply splits the work into even chunks and split it between the available crawlers.
|
|
The following sharding conditions come to mind:
|
|
|
|
\begin{itemize}
|
|
\item Assuming IP addresses are evenly distributed and so are infections, take the IP address as an \SI{32}{\bit} integer modulo \(\abs{C}\). See~\autoref{sec:ip_part}
|
|
Problem: reassignment if a crawler joins or leaves
|
|
|
|
\item Maintain an internal counter/list of tasks for each available crawler and assign to the crawler with the most available resources. See~\autoref{sec:ewd}
|
|
Easy reassignment
|
|
|
|
\item Round Robin. See~\autoref{sec:rr}
|
|
\end{itemize}
|
|
|
|
Load balancing in itself does not help prevent the detection of crawlers but it allows better usage of available resources.
|
|
No peer will be crawled by more than one crawler and it allows crawling of bigger botnets where the current approach would reach its limit and could also be worked around with scaling up the machine where the crawler is executed.
|
|
Load balancing allows scaling out, which can be more cost-effective.
|
|
|
|
\subsubsection{Round Robin Distribution}\label{sec:rr}
|
|
|
|
\subsubsection{Even Work Distribution}\label{sec:ewd}
|
|
\todo{weighted round robin}
|
|
|
|
Work is evenly distributed between crawlers according to their capabilities.
|
|
For the sake of simplicity, we will only consider the bandwidth as capability but it can be extended by any shared property between the crawlers, \eg{} available memory, CPU speed.
|
|
For a given crawler \(c \in C\) let \(B_c\) be the total bandwidth of the crawler.
|
|
The total available bandwidth is \(B = \sum\limits_{c \in C} B_c\).
|
|
The weight \(W_c = \frac{B}{B_c}\)\todo{proper def for weight} defines which percentage of the work gets assigned to \(c\).
|
|
The set of target peers \(P = <p_0, p_1, \ldots, p_{n-1}>\), is partitioned into \(|C|\) subsets according to \(W_c\) and each subset is assigned to its crawler \(c\).
|
|
|
|
\begin{table}[H]
|
|
\center
|
|
\begin{tabular}{lll}
|
|
\(C_n\) & \(B_c\) & \(W_c\) \\
|
|
0 & 100 & \(\frac{10}{16}\) \\
|
|
1 & 10 & \(\frac{1}{16}\) \\
|
|
2 & 50 & \(\frac{5}{16}\) \\
|
|
\end{tabular}
|
|
\end{table}
|
|
\todo{remove me}
|
|
|
|
\subsubsection{IP-based Partitioning}\label{sec:ip_part}
|
|
|
|
Assuming IP addresses in a botnet are evenly distributed with regard to their \(\mod |C|\)\todo{source? law of large numbers}.
|
|
Using \(m(i) = i \mod |C|\) as mapping to determine which IP is assigned to which crawler.
|
|
This ensures neighboring IP addresses (\eg{} in the same \ac{as} and/or geolocation) get visited by different crawlers.
|
|
|
|
%}}} load balancing
|
|
|
|
%{{{ frequency reduction
|
|
\subsection{Reduction of Request Frequency}
|
|
|
|
The GameOver Zeus botnet deployed a blacklisting mechanism, where crawlers are blocked based in their request frequency~\cite{bib:andriesse_goz_2013}.
|
|
In a single crawler approach, the crawler frequency has to be limited to prevent being hitting the request limit.
|
|
|
|
%{{{ fig:old_crawler_timeline
|
|
\begin{figure}[h]
|
|
\centering
|
|
\begin{chronology}[10]{0}{100}{0.9\textwidth}
|
|
\event{0}{\(C_0\)}
|
|
\event{20}{\(C_0\)}
|
|
\event{40}{\(C_0\)}
|
|
\event{60}{\(C_0\)}
|
|
\event{80}{\(C_0\)}
|
|
\event{100}{\(C_0\)}
|
|
\end{chronology}
|
|
\caption{Timeline of crawler events as seen from a peer when crawled by a single crawler}\label{fig:old_crawler_timeline}
|
|
\end{figure}
|
|
%}}} fig:old_crawler_timeline
|
|
|
|
Using collaborative crawlers, an arbitrarily fast frequency can be achieved without being blacklisted.
|
|
With \(L \in \mathbb{N}\) being the frequency limit at which a crawler will be blacklisted, \(F \in \mathbb{N}\) being the crawl frequency that should be achieved.
|
|
The amount of crawlers \(C\) required to achieve the frequency \(F\) without being blacklisted and the offset \(O\) between crawlers are defined as
|
|
|
|
\begin{align*}
|
|
C &= \left\lceil \frac{F}{L} \right\rceil \\
|
|
O &= \frac{\SI{1}{\request}}{F}
|
|
\end{align*}
|
|
|
|
Taking advantage of the \mintinline{go}{StartAt} field from the \mintinline{go}{PeerTask} returned by the \mintinline{go}{requestTasks} primitive above, the crawlers can be scheduled offset by \(O\) at a frequency \(L\) to ensure, the overall requests to each peer are evenly distributed over time.
|
|
|
|
Given a limit \(L = \SI{5}{\request\per 100\second}\), crawling a botnet at \(F = \SI{20}{\request\per 100\second}\) requires \(C = \left\lceil \frac{\SI{20}{\request\per 100\second}}{\SI{5}{\request\per 100\second}} \right\rceil = 4\) crawlers.
|
|
Those crawlers must be scheduled \(O = \frac{\SI{1}{\request}}{\SI{20}{\request\per 100\second}} = \SI{5}{\second}\) apart at a frequency of \(L\) for an even request distribution.
|
|
|
|
|
|
%{{{ fig:crawler_timeline
|
|
\begin{figure}[h]
|
|
\centering
|
|
\begin{chronology}[10]{0}{100}{0.9\textwidth}
|
|
\event{0}{\(C_0\)}
|
|
\event{20}{\(C_0\)}
|
|
\event{40}{\(C_0\)}
|
|
\event{60}{\(C_0\)}
|
|
\event{80}{\(C_0\)}
|
|
\event{100}{\(C_0\)}
|
|
|
|
\event{5}{\(C_1\)}
|
|
\event{25}{\(C_1\)}
|
|
\event{45}{\(C_1\)}
|
|
\event{65}{\(C_1\)}
|
|
\event{85}{\(C_1\)}
|
|
|
|
\event{10}{\(C_2\)}
|
|
\event{30}{\(C_2\)}
|
|
\event{50}{\(C_2\)}
|
|
\event{70}{\(C_2\)}
|
|
\event{90}{\(C_2\)}
|
|
|
|
\event{15}{\(C_3\)}
|
|
\event{35}{\(C_3\)}
|
|
\event{55}{\(C_3\)}
|
|
\event{75}{\(C_3\)}
|
|
\event{95}{\(C_3\)}
|
|
\end{chronology}
|
|
\caption{Timeline of crawler events as seen from a peer when crawled by multiple crawlers}\label{fig:crawler_timeline}
|
|
\end{figure}
|
|
%}}} fig:crawler_timeline
|
|
|
|
As can be seen in~\autoref{fig:crawler_timeline}, each crawler \(C_0\) to \(C_3\) performs only \SI{5}{\request\per 100\second} while overall achieving \(\SI{20}{\request\per 100\second}\).
|
|
|
|
Vice versa given an amount of crawlers \(C\) and a request limit \(L\), the effective frequency \(F\) can be maximized to \(F = C \times L\) without hitting the limit \(L\) and being blocked.
|
|
|
|
Using the example from above with \(L = \SI{5}{\request\per 100\second}\) but now only two crawlers \(C = 2\), it is still possible to achieve an effective frequency of \(F = 2 \times \SI{5}{\request\per 100\second} = \SI{10}{\request\per 100\second}\) and \(O = \frac{\SI{1}{\request}}{\SI{10}{\request\per 100\second}} = \SI{10}{s}\):
|
|
|
|
%TODO: name
|
|
%{{{ fig:crawler_timeline
|
|
\begin{figure}[h]
|
|
\centering
|
|
\begin{chronology}[10]{0}{100}{0.9\textwidth}
|
|
\event{0}{\(C_0\)}
|
|
\event{20}{\(C_0\)}
|
|
\event{40}{\(C_0\)}
|
|
\event{60}{\(C_0\)}
|
|
\event{80}{\(C_0\)}
|
|
\event{100}{\(C_0\)}
|
|
|
|
\event{10}{\(C_1\)}
|
|
\event{30}{\(C_1\)}
|
|
\event{50}{\(C_1\)}
|
|
\event{70}{\(C_1\)}
|
|
\event{90}{\(C_1\)}
|
|
|
|
\end{chronology}
|
|
% \caption{Timeline of crawler events as seen from a peer}\label{fig:crawler_timeline}
|
|
\end{figure}
|
|
%}}} fig:crawler_timeline
|
|
|
|
While the effective frequency of the whole system is halved compared to~\autoref{fig:crawler_timeline}, it is still possible to double the frequency over the limit.
|
|
|
|
%}}} frequency reduction
|
|
|
|
%{{{ against graph metrics
|
|
\subsection{Working Against Suspicious Graph Metrics}
|
|
|
|
\citetitle*{bib:karuppayah_sensorbuster_2017} describes different graph metrics to find sensors in \ac{p2p} botnets.
|
|
These metrics depend on the uneven ratio between incoming and outgoing edges for crawlers.
|
|
One of those, \enquote{SensorBuster} uses \acp{wcc} since crawlers don't have any edges back to the main network in the graph.
|
|
|
|
Building a complete graph \(G_C = K_{\abs{C}}\) between the crawlers by making them return the other crawlers on peer list requests would still produce a disconnected component and while being bigger and maybe not as obvious at first glance, it is still easily detectable since there is no path from \(G_C\) back to the main network (see~\autoref{fig:sensorbuster2} and~\autoref{fig:metrics_table}).
|
|
|
|
\todo{rank? deg+ - deg-?}
|
|
With \(v \in V\), \(\text{succ}(v)\) being the set of successors of \(v\) and \(\text{pred}(v)\) being the set of predecessors of \(v\), PageRank recursively is defined as~\cite{bib:page_pagerank_1998}:
|
|
|
|
\[
|
|
\text{PR}(v) = \text{dampingFactor} \times \sum\limits_{p \in \text{pred}(v)} \frac{\text{PR}(p)}{\abs{\text{succ}(p)}} + \frac{1 - \text{dampingFactor}}{\abs{V}}
|
|
\]
|
|
|
|
For the first iteration, the PageRank of all nodes is set to the same initial value. When iterating often enough, any value can be chosen~\cite{bib:page_pagerank_1998}.
|
|
|
|
The dampingFactor describes the probability of a person visiting links on the web to continue doing so, when using PageRank to rank websites in search results.
|
|
For simplicity---and since it is not required to model human behaviour for automated crawling and ranking---a dampingFactor of \(1.0\) will be used, which simplifies the formula to
|
|
|
|
\[
|
|
\text{PR}(v) = \sum\limits_{p \in \text{pred}(v)} \frac{\text{rank}(p)}{\abs{\text{succ}(p)}}
|
|
\]
|
|
|
|
Based on this, SensorRank is defined as
|
|
|
|
\[
|
|
\text{SR}(v) = \frac{\text{PR}(v)}{\abs{\text{succ}(v)}} \times \frac{\abs{\text{pred}(v)}}{|V|}
|
|
\]
|
|
|
|
\todo{percentage of botnet must be crawlers to make a significant change}
|
|
|
|
% TODO: caption, label
|
|
\begin{figure}[H]
|
|
\centering
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{sensorbuster1.pdf}
|
|
\caption{\acp{wcc} for independent crawlers}\label{fig:sensorbuster1}
|
|
\end{subfigure}%
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{sensorbuster2.pdf}
|
|
\caption{\acp{wcc} for collaborated crawlers}\label{fig:sensorbuster2}
|
|
\end{subfigure}%
|
|
\caption{Differences in graph metrics}\label{fig:sensorbuster}
|
|
\end{figure}
|
|
\todo{these examples suck; chose better examples}
|
|
|
|
Applying SensorRank PageRank once with an initial rank of \(0.25\) once on the example graphs above results in:
|
|
|
|
\todo{pagerank, sensorrank calculations, proper example graphs, proper table formatting}
|
|
\begin{table}[H]
|
|
\centering
|
|
\begin{tabular}{llllll}
|
|
Node & \(\deg^{+}\) & \(\deg^{-}\) & In \ac{wcc}? & PageRank & SensorRank \\
|
|
n0 & 0/0 & 4/4 & no & 0.75/0.5625 & 0.3125/0.2344 \\
|
|
n1 & 1/1 & 3/3 & no & 0.25/0.1875 & 0.0417/0.0313 \\
|
|
n2 & 2/2 & 2/2 & no & 0.5/0.375 & 0.3333/0.25 \\
|
|
c0 & 3/5 & 0/2 & yes (1/3) & 0.0/0.125 & 0.0/0.0104 \\
|
|
c1 & 1/3 & 0/2 & yes (1/3) & 0.0/0.125 & 0.0/0.0104 \\
|
|
c2 & 2/4 & 0/2 & yes (1/3) & 0.0/0.125 & 0.0/0.0104 \\
|
|
\end{tabular}
|
|
\caption{Values for metrics from~\autoref{fig:sensorbuster} (a/b)}\label{fig:metrics_table}
|
|
\end{table}
|
|
|
|
\todo{big graphs, how many Kn to get significant?}
|
|
|
|
While this works for small networks, the crawlers must account for a significant amount of peers in the network for this change to be noticeable.\todo{for bigger (generated) graphs?}
|
|
|
|
In our experiments on a snapshot of the Sality~\cite{bib:falliere_sality_2011} botnet exported from \ac{bms} over the span of \daterange{2021-04-21}{2021-04-28}\todo{export timespan}, even 1 iteration were enough to get distinct enough values to detect sensors and crawlers.
|
|
|
|
\begin{table}[H]
|
|
\centering
|
|
\begin{tabular}{lllll}
|
|
\textbf{Iteration} & \textbf{Avg. PR} & \textbf{Crawler PR} & \textbf{Avg. SR} & \textbf{Crawler SR} \\
|
|
1 & 0.24854932 & 0.63277194 & 0.15393478 & 0.56545578 \\
|
|
2 & 0.24854932 & 0.63277194 & 0.15393478 & 0.56545578 \\
|
|
3 & 0.24501068 & 0.46486353 & 0.13810930 & 0.41540997 \\
|
|
4 & 0.24501068 & 0.46486353 & 0.13810930 & 0.41540997 \\
|
|
5 & 0.24233737 & 0.50602884 & 0.14101354 & 0.45219598 \\
|
|
\end{tabular}
|
|
\caption{Values for PageRank iterations with initial rank \(\forall v \in V : \text{PR}(v) = 0.25\)}\label{fig:pr_iter_table_25}
|
|
\end{table}
|
|
|
|
\begin{figure}[H]
|
|
\centering
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{0.25_1_sr.png}
|
|
\caption{Distribution after 1 iteration}\label{fig:dist_sr_25_1}
|
|
\end{subfigure}%
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{0.25_5_sr.png}
|
|
\caption{Distribution after 5 iterations}\label{fig:dist_sr_25_5}
|
|
\end{subfigure}%
|
|
\caption{SensorRank distribution with initial rank \(\forall v \in V : \text{PR}(v) = 0.25\)}\label{fig:dist_sr_25}
|
|
\end{figure}
|
|
|
|
\begin{table}[H]
|
|
\centering
|
|
\begin{tabular}{lllll}
|
|
\textbf{Iteration} & \textbf{Avg. PR} & \textbf{Crawler PR} & \textbf{Avg. SR} & \textbf{Crawler SR} \\
|
|
1 & 0.49709865 & 1.26554389 & 0.30786955 & 1.13091156 \\
|
|
2 & 0.49709865 & 1.26554389 & 0.30786955 & 1.13091156 \\
|
|
3 & 0.49002136 & 0.92972707 & 0.27621861 & 0.83081993 \\
|
|
4 & 0.49002136 & 0.92972707 & 0.27621861 & 0.83081993 \\
|
|
5 & 0.48467474 & 1.01205767 & 0.28202708 & 0.90439196 \\
|
|
\end{tabular}
|
|
\caption{Values for PageRank iterations with initial rank \(\forall v \in V : \text{PR}(v) = 0.5\)}\label{fig:pr_iter_table_5}
|
|
\end{table}
|
|
|
|
\begin{figure}[H]
|
|
\centering
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{0.50_1_sr.png}
|
|
\caption{Distribution after 1 iteration}\label{fig:dist_sr_50_1}
|
|
\end{subfigure}%
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{0.50_5_sr.png}
|
|
\caption{Distribution after 5 iterations}\label{fig:dist_sr_50_5}
|
|
\end{subfigure}%
|
|
\caption{SensorRank distribution with initial rank \(\forall v \in V : \text{PR}(v) = 0.5\)}\label{fig:dist_sr_50}
|
|
\end{figure}
|
|
|
|
\begin{table}[H]
|
|
\centering
|
|
\begin{tabular}{lllll}
|
|
\textbf{Iteration} & \textbf{Avg. PR} & \textbf{Crawler PR} & \textbf{Avg. SR} & \textbf{Crawler SR} \\
|
|
1 & 0.74564797 & 1.89831583 & 0.46180433 & 1.69636734 \\
|
|
2 & 0.74564797 & 1.89831583 & 0.46180433 & 1.69636734 \\
|
|
3 & 0.73503203 & 1.39459060 & 0.41432791 & 1.24622990 \\
|
|
4 & 0.73503203 & 1.39459060 & 0.41432791 & 1.24622990 \\
|
|
5 & 0.72701212 & 1.51808651 & 0.42304062 & 1.35658794 \\
|
|
\end{tabular}
|
|
\caption{Values for PageRank iterations with initial rank \(\forall v \in V : \text{PR}(v) = 0.75\)}\label{fig:pr_iter_table_75}
|
|
\end{table}
|
|
|
|
\begin{figure}[H]
|
|
\centering
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{0.75_1_sr.png}
|
|
\caption{Distribution after 1 iteration}\label{fig:dist_sr_75_1}
|
|
\end{subfigure}%
|
|
\begin{subfigure}[b]{.5\textwidth}
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{0.75_5_sr.png}
|
|
\caption{Distribution after 5 iterations}\label{fig:dist_sr_75_5}
|
|
\end{subfigure}%
|
|
\caption{SensorRank distribution with initial rank \(\forall v \in V : \text{PR}(v) = 0.75\)}\label{fig:dist_sr_75}
|
|
\end{figure}
|
|
|
|
The distribution graphs in \autoref{fig:dist_sr_25}, \autoref{fig:dist_sr_50} and \autoref{fig:dist_sr_75} show that the initial rank has no effect on the distribution, only on the actual numeric rank values.
|
|
|
|
For all combinations of initial value and PageRank iterations, the rank for a well known crawler is in the \nth{95} percentile, so for our use case, those parameters do not matter.
|
|
|
|
On average, peers in the analyzed dataset have \num{223} successors over the whole week.
|
|
Looking at the data in smaller buckets of one hour each, the average number of successors per peer is \num{90}.
|
|
|
|
Churn describes the dynamics of peer participation of \ac{p2p} systems, \eg{} join and leave events~\cite{bib:stutzbach_churn_2006}.\todo{übergang}
|
|
Detecting if a peer just left the system, in combination with knowledge about \acp{as}, peers that just left and came from an \ac{as} with dynamic IP allocation (\eg{} many consumer broadband providers in the US and Europe), can be placed into the crawler's neighbourhood list.
|
|
If the timing of the churn event correlates with IP rotation in the \ac{as}, it can be assumed, that the peer left due to being assigned a new IP address---not due to connectivity issues or going offline---and will not return using the same IP address.
|
|
These peers, when placed in the neighbourhood list of the crawlers, will introduce paths back into the main network and defeat the \ac{wcc} metric.
|
|
It also helps with the PageRank and SensorRank metrics since the crawlers start to look like regular peers without actually supporting the network by relaying messages or propagating active peers.
|
|
|
|
Knowledge of only \num{90} peers leaving due to IP rotation would be enough to make a crawler look average in Sality.
|
|
This number will differ between different botnets, depending on implementation details and size of the network.
|
|
|
|
Adding edges from the known crawler to \num{90} random peers to simulate the described strategy gives the following rankings:\todo{table, distribution with random edges}
|
|
|
|
|
|
|
|
%}}} against graph metrics
|
|
|
|
%}}} strategies
|
|
|
|
%{{{ implementation
|
|
\section{Implementation}
|
|
|
|
Crawlers in \ac{bms} report to the backend using \acp{grpc}\footnote{\url{https://www.grpc.io}}.
|
|
Both crawlers and the backend \ac{grpc} server are implemented using the Go\footnote{\url{https://go.dev/}} programming language, so to make use of existing know-how and to allow others to use the implementation in the future, the coordinator backend and crawler abstraction were also implemented in Go.
|
|
|
|
\Ac{bms} already has an existing abstraction for crawlers.
|
|
This implementation is highly optimized but also tightly coupled and grown over time.
|
|
The abstraction became leaky and extending it proved to be complicated.
|
|
A new crawler abstraction was created with testability, extensibility and most features of the existing implementation in mind, which can be ported back to be used by the existing crawlers.
|
|
|
|
%{{{ fig:crawler_arch
|
|
\begin{figure}[h]
|
|
\centering
|
|
\includegraphics[width=1\linewidth]{architecture.drawio.pdf}
|
|
\caption{Architecture of the new crawler}\label{fig:crawler_arch}
|
|
\end{figure}
|
|
%}}}fig:crawler_arch
|
|
|
|
The new implementation consists of three main interfaces:
|
|
|
|
\begin{itemize}
|
|
\item \mintinline{go}{FindPeer}, to receive new crawl tasks from any source
|
|
|
|
\item \mintinline{go}{ReportPeer}, to report newly found peers
|
|
|
|
\item \mintinline{go}{Protocol}, the actual botnet protocol implementation used to ping a peer and request its neighbourhood list
|
|
\end{itemize}
|
|
|
|
Currently there are two sources \mintinline{go}{FindPeer} can use: read peers from a file on disk or request them from the \ac{grpc} BMS coordinator.
|
|
The \mintinline{go}{ExactlyOnceFinder} delegate can wrap another \mintinline{go}{FindPeer} instance and ensures the source is only requested once.
|
|
This is used to implement the bootstrapping mechanism of the old crawler, where once, when the crawler is started, the list of bootstrap nodes is loaded from a textfile.
|
|
\mintinline{go}{CombinedFinder} can combine any amount of \mintinline{go}{FindPeer} instances and will return the sum of requesting all the sources.
|
|
|
|
The \mintinline{go}{PeerTask} instances returned by \mintinline{go}{FindPeer} contain the IP address and port of the peer, if the crawler should start or stop the operation, when to start and stop crawling and in which interval the peer should be crawled.
|
|
For each task, a \mintinline{go}{CrawlPeer} and \mintinline{go}{PingPeer} worker is started or stopped as specified in the received \mintinline{go}{PeerTask}.
|
|
These tasks use the \mintinline{go}{ReportPeer} interface to report any new peer that is found.
|
|
|
|
Current report possibilities are \mintinline{go}{LoggingReport} to simply log new peers to get feedback from the crawler at runtime, and \mintinline{go}{BMSReport} which reports back to \ac{bms}.
|
|
\mintinline{go}{BatchedReport} delegates a \mintinline{go}{ReportPeer} instance and batch newly found peers up to a specified batch size and only then flush and actually report.
|
|
\mintinline{go}{AutoCommitReport} will automatically flush a delegated \mintinline{go}{ReportPeer} instance after a fixed amount of time and is used in combination with \mintinline{go}{BatchedReport} to ensure the batches are written regularly, even if the batch limit is not reached yet.
|
|
\mintinline{go}{CombinedReport} works analogous to \mintinline{go}{CombinedFinder} and combines many \mintinline{go}{ReportPeer} instances into one.
|
|
|
|
\mintinline{go}{PingPeer} and \mintinline{go}{CrawlPeer} use the implementation of the botnet \mintinline{go}{Protocol} to perform the actual crawling in predefined intervals, which can be overwritten on a per \mintinline{go}{PeerTask} basis.
|
|
|
|
%}}} implementation
|
|
|
|
%{{{ further work
|
|
\section{Further Work}
|
|
|
|
Following this work, it should be possible to rewrite the existing crawlers to use the new abstraction.
|
|
This might bring some performance issues to light which can be solved by investigating the optimizations from the old implementation and applying them to the new one.
|
|
|
|
Another way to expand on this work is automatically scaling the available crawlers up and down, depending on the botnet size and the number of concurrently online peers.
|
|
Doing so would allow a constant crawl interval for even highly volatile botnets.
|
|
|
|
%}}} further work
|
|
|
|
%{{{ acknowledgments
|
|
\section*{Acknowledgments}
|
|
|
|
In the end, I would like to thank
|
|
|
|
\begin{itemize}
|
|
\item Prof.\ Dr.\ Christoph Skornia for being a helpful supervisor in this and earlier works of mine
|
|
|
|
\item Leon Böck for offering the possibility to work on this research project, regular feedback and technical expertise
|
|
|
|
\item Valentin Sundermann for being available for helpful ad-hoc discussions at any time of day for many years
|
|
\end{itemize}
|
|
|
|
%}}} acknowledgments
|
|
|
|
% vim: set filetype=tex ts=2 sw=2 tw=0 et foldmethod=marker spell :
|