1 Introduction
Social networks are becoming more and more important and essential platforms for people to interact with each other, process information, and diffuse social influence, etc. For example, Facebook was reported to have 1.65 billion monthly active users as of April 2016 [1], and it has become the third most visited website worldwide, just next to Google.com and YouTube.com, according to Alexa [2]. However, it is well known that social networks are vulnerable to Sybil attacks, in which attackers maintain a large number of Sybils, e.g., spammers, fake users, and compromised normal users. For instance, 10% of Twitter users were fake [3]. Adversaries can leverage such Sybils to perform various malicious activities such as disrupting democratic election [4], influencing financial market [5], distributing spams and phishing attacks [6], as well as harvesting private user data [7]. Therefore, Sybil detection in social networks is an urgent research problem.
Indeed, this research problem has attracted increasing attention from multiple research communities including networking, security, and data mining. Among various methods, structurebased methods have demonstrated promising results, e.g., SybilRank [8] was deployed to detect a large amount of Sybils in Tuenti, the largest online social network in Spain. Most structurebased methods [9, 10, 11, 12, 8, 13, 14, 15, 16, 17, 18, 19, 20, 21] can be grouped into two categories: Random Walk (RW)based methods and Loop Belief Propagation (LBP)based methods. Given a training dataset, these methods iteratively propagate label information among the social graph to predict labels for users. RWbased methods implement the propagation using random walks, while LBPbased methods implement the propagation using Loopy Belief Propagation [22]. RWbased methods [9, 10, 11, 12, 8, 13, 14, 15, 16] suffer from one or two major limitations: 1) they can only leverage either labeled benign users or labeled Sybils in the training dataset, but not both, which limits their detection accuracies; and 2) they are not robust to label noise in the training dataset. The label of a user is noisy if the label is incorrect. Label noise often exists in practice due to human mistakes when manually labeling users [6, 23]. LBPbased methods [18, 19, 20] suffer from three major limitations: 1) they cannot guarantee convergence on realworld social networks; 2) they are not scalable; and 3) they do not have theoretically guaranteed performance. The first limitation makes LBPbased methods sensitive to the number of iterations that the methods run.
Our work: We propose a novel structurebased method, called SybilSCAR, to perform Sybil detection in social networks. SybilSCAR combines the advantages of RWbased methods and LBPbased methods, while overcoming their limitations. Specifically, SybilSCAR is Scalable, Convergent, Accurate, and Robust to label noise.
First, we propose a general framework to unify stateoftheart RWbased and LBPbased methods. Under our framework, each structurebased method can be viewed as iteratively applying a local rule to every node, which propagates label information from the training dataset to other nodes in the social network. A local rule updates a node’s label information via combining the node’s neighbors’ label information and the prior knowledge that we know about the node. Although RWbased methods and LBPbased methods use very different mathematical foundations (i.e., RW vs. LBP), they can be viewed as applying different local rules under our framework. Our framework makes it possible to compare different methods in a unified way. Moreover, our framework provides new insights on how to design better structurebased methods. Specifically, designing better structurebased methods reduces to designing better local rules.
Second, we design a novel local rule that integrates the advantages of both RWbased methods and LBPbased methods, while overcoming their limitations. SybilSCAR iteratively applies our local rule to every user. Our local rule, like RWbased methods and LBPbased methods, leverages the homophily property
of social networks. Homophily means that two linked users share the same label with a high probability. In our local rule, we associate a weight with each edge, which represents the probability that the two corresponding users have the same label. For a neighbor
of , our local rule models ’s influence (we call it neighbor influence) to ’s label as the probability that is a Sybil, given ’s information alone. Our local rule combines neighbor influences and prior knowledge about a user in a multiplicative way to update knowledge about the user’s label. Moreover, we linearize the multiplicative local rule in order to make SybilSCAR convergent.Third, we evaluate SybilSCAR and compare it with stateoftheart RWbased methods and LBPbased methods both theoretically and empirically. Theoretically, we derive a bound on the number of Sybils that are accepted into a social network for SybilSCAR. Our bound is tighter than those of the existing methods. Moreover, we analyze the condition when SybilSCAR is guaranteed to converge. Empirically, we compare SybilSCAR with SybilRank [8], a stateoftheart RWbased method, and SybilBelief [18], a stateoftheart LBPbased method, using 1) three realworld social networks with synthesized Sybils and 2) a largescale Twitter dataset (41.7M users and 1.2B edges) with real Sybils. Our empirical results demonstrate that 1) SybilSCAR achieves better detection accuracies than SybilRank and SybilBelief, 2) SybilSCAR is robust to larger label noise than SybilRank, and is as robust as SybilBelief; 3) SybilSCAR is as space and time efficient as SybilRank, but is several times more space efficient and one order of magnitude more time efficient than SybilBelief; 4) SybilSCAR and SybilRank are convergent, but SybilBelief is not. For instance, in the large Twitter dataset, among the top10K users that are predicted to be most likely Sybils by SybilRank, SybilBelief, and SybilSCAR, 0.33%, 77.5%, and 95.8% of them are real Sybils, respectively.
In summary, our key contributions are as follows:

We propose SybilSCAR, a novel structurebased methods, to detect Sybils in social networks. SybilSCAR is convergent, scalable, robust to label noise, and more accurate than existing methods.

We propose a local rulebased framework to unify stateoftheart RWbased methods and LBPbased methods. Under our framework, we design a novel local rule that is the key component of SybilSCAR.

We evaluate SybilSCAR both theoretically and empirically, and compare it with a stateoftheart RWbased method and a stateoftheart LBPbased method. Our theoretical results show that SybilSCAR has a tighter bound on the number of Sybils that are falsely accepted into a social network than existing methods. Our empirical results on multiple social network datasets demonstrate that SybilSCAR significantly outperforms the stateoftheart RWbased method in terms of accuracy and robustness to label noise, and that SybilSCAR outperforms the stateoftheart LBPbased method in terms of accuracy, scalability, and convergence.
2 Related Work
2.1 Structurebased Methods
We classify structurebased methods into Random Walk (RW)based methods and Loopy Belief Propagation (LBP)based methods. Structurebased methods aim to leverage social structure [9, 10, 11, 12, 8, 13, 14, 17, 15, 16, 18, 19, 20, 21]. The key intuition is that, although an attacker can control the connections between Sybils arbitrarily, it is harder for the attacker to manipulate the connections between benign nodes and Sybils, because such manipulation requires actions from benign nodes. Therefore, benign nodes and Sybils have a structural gap, which is leveraged by RWbased and LBPbased methods.
RWbased methods: Example RWbased based methods include SybilGuard [9], SybilLimit [10], SybilInfer [11], SybilRank [8], Criminal account Inference Algorithm (CIA) [13], Íntegro [14], and SybilWalk [16]. Specifically, SybilGuard [9] and SybilLimit [10] assume that it is easy for short random walks starting from a labeled benign user to quickly reach other benign users, while hard for short random walks starting from Sybils to reach benign users. SybilGuard and SybilLimit use the same RW lengths for all nodes. SmartWalk [15]
leverages machine learning classifiers to predict the appropriate RW length for different nodes, and can improve the performance of SybilLimit via using the predicted (different) RW length for each node. SybilInfer
[11]combines RWs with Bayesian inference and MonteCarlo sampling to directly detect the bottleneck cut between benign users and Sybils. SybilRank
[8] uses short RWs to distribute benignness scores from a set of labeled benign users to all the remaining users. CIA [13]distributes badness scores from a set of labeled Sybils to other users. With a certain probability, CIA restarts the RW from the initial probability distribution, which is assigned based on the set of labeled Sybils. Íntegro
[14] improves SybilRank by first leveraging victim prediction (a victim is a user that connects to at least one Sybil) to assign weights to edges of a social network and then performing random walks on the weighted social network.Existing RWbased methods suffer from one or two key limitations: 1) they can only leverage either labeled benign users or labeled Sybils, but not both, which limits their detection accuracies; and 2) they are not robust to label noise in the training dataset. Specifically, SybilGuard, SybilLimit, SybilInfer, and SmartWalk only leverage one labeled benign node, making their accuracy limited [8] and making them sensitive to label noise. Moreover, they are not scalable to largescale social networks because they need to simulate a large number of random walks. SybilRank was shown to outperform a variety of Sybil detection methods [8], and we treat it as a stateoftheart RWbased method. SybilRank can only leverage the labeled benign users in a training dataset, which limits its detection accuracy, as we will demonstrate in our experiments. Moreover, SybilRank is not robust to label noise, as we will demonstrate in our experiments.
LBPbased methods: LBPbased methods [18, 19, 20, 21]
also leverage the structure of the social network. SybilBelief models a social network as a pairwise Markov Random Field (pMRF). Given some labeled Sybils and labeled benign users, SybilBelief first assigns prior probabilities to them and then uses LBP
[22]to iteratively estimate the posterior probability of being a Sybil for each remaining user. The posterior probability of being a Sybil is used to predict a user’s label. SybilBelief can leverage both labeled Sybils and labeled benign users simultaneously, and it is robust to label noise
[18]. Gao et al. [19] and Fu et al. [20] demonstrated that SybilBelief can achieve better performance when learning the node and edge priors using local graph structure analysis. However, SybilBelief and its variants suffer from three limitations: 1) they are not guaranteed to converge because LBP might oscillate on graphs with loops [22]; 2) they are not scalable because LBP requires storing and maintaining messages on each edge; and 3) they do not have theoretically guaranteed performance. The first limitation means that their performance heavily relies on the number of iterations that LBP runs, but the best number of iterations might be different for different social networks. We note that Wang et al. [21] recently proposed GANG, which generalized SybilBelief to directed social graphs (e.g., Twitter) and extended the techniques proposed in this work to make GANG scalable and convergent.2.2 Other methods
Some methods detect Sybils via binary machine learning classifiers. In particular, most methods in this direction represent each user using a set of features, which can be extracted from users’ local subgraph structure (e.g., egonetwork) [24, 25] and side information (e.g., IP address, behaviors, and content) [26, 27, 28, 29, 30, 31, 32, 33]
. Then, given a training dataset consisting of labeled benign users and labeled Sybils, they learn a binary classifier, e.g., logistic regression. Finally, the classifier is used to predict labels for the remaining users. A fundamental limitation of these methods is that attackers can mimic benign users by manipulating their profiles, so as to bypass the detection. However, we believe these methods can still be used to filter the basic Sybils. Moreover, these featurebased methods can be further combined with structurebased methods. For instance, for each user, the classifier can produce a probability that the user is a Sybil; such probabilities can be used as prior probabilities in LBPbased methods, e.g., SybilBelief
[18]. Indeed, Gao et al. [19] generalized SybilBelief to incorporate such featurebased priors and demonstrated performance improvement.3 Problem Definition
We formally define our structurebased Sybil detection problem, introduce our design goals, and describe the threat model we consider in the paper.
3.1 Structurebased Sybil Detection
Suppose we are given an undirected social network , where a node represents a user and an edge indicates a mutual relationship between and . and are number of nodes and edges, respectively. For instance, on Facebook, an edge could mean that is in ’s friend list and vice versa. On Twitter, an edge could mean that follows . Our structurebased Sybil detection is defined as follows:
Definition 1 (Structurebased Sybil Detection).
Suppose we are given a social network and a training dataset consisting of some labeled Sybils and labeled benign nodes. Structurebased Sybil detection is to predict the label of each remaining node by leveraging the global structure of the social network.
Like most existing studies on structurebased Sybil detection, we focus on undirected social networks. However, our methods can be generalized to directed social networks. For instance, Wang et al. [21] generalized our methods to design a LBPbased method for directed social networks.
3.2 Design Goals
We target a method that satisfies the following goals:
1) Leveraging both labeled benign users and Sybils: Social network service providers often have a set of labeled benign users and labeled Sybils. For instance, verified users on Twitter or Facebook can be treated as labeled benign users; users spreading spam or malware can be treated as labeled Sybils, which can be obtained through manual inspection [8] or crowdsourcing [34]. Our method should be able to leverage both labeled benign users and labeled Sybils to enhance detection accuracy.
2) Robust to label noise: A given label of a user is noisy if it does not match the user’s true label. Labeled users may have noisy labels. For instance, an adversary could compromise a labeled benign user or make a Sybil whitelisted as a benign user. In addition, labels obtained through manual inspection, especially crowdsourcing, often contain noises due to human mistakes [34]. We target a method that is robust when a minority fraction of given labels are incorrect.
3) Scalable: Realworld social networks often have hundreds of millions of users and edges. Therefore, our method should be scalable and easily parallelizable.
4) Convergent: Existing methods and our method are iterative methods. Convergence makes it easy to determine when to stop an iterative method. It is hard to set the best number of iterations for an iterative method that is not convergent. Therefore, our method should be convergent.
5) Theoretical guarantee: Our method should have a theoretical guarantee on the number of Sybils that can be falsely accepted into a social network. This theoretical guarantee is important for securitycritical applications that leverage social networks, e.g., social network based Sybil defense in peertopeer and distributed systems [9], and social network based anonymous communications [35].
Existing RWbased SybilGuard [9] and SybilLimit [10] do not satisfy requirements 1), 2), and 3); SybilInfer [11] only satisfies the requirement 4); SybilRank [8] and Íntegro [14] do not satisfy requirements 1) and 2); CIA [13] does not satisfy requirements 1), 2), and 5). Existing LBPbased SybilBelief [18] and SybilFuse [19] do not satisfy requirements 3), 4), and 5).
3.3 Threat Model
We call the subgraph containing all benign nodes and edges between them the benign region, and call the subgraph containing all Sybil nodes and edges between them the Sybil region. Edges between the two regions are called attack edges. Figure 1 illustrates these concepts.
One basic assumption under structurebased Sybil detection methods is that the benign region and the Sybil region are sparsely connected (i.e., the number of attack edges is relatively small), compared with the edges among the two regions. In other words, most benign users would not establish trust relationships with Sybils. We note that this assumption is equivalent to requiring that the social network follows homophily, i.e., two linked nodes share the same label with a high probability. For an extreme example, if the benign region and the Sybil region are separated from each other, then the social network has a perfect homophily, i.e., every two linked nodes have the same label. Note that, it is of great importance to obtain social networks that satisfy this assumption, otherwise the detection accuracies of structurebased methods are limited. For instance, Yang et al. [36] showed that RenRen friendship social network does not satisfy this assumption, and thus the performance of structurebased methods are unsatisfactory. However, Cao et al. [8] found that Tuenti, the largest online social network in Spain, satisfies the homophily assumption, and thus SybilRank can detect a large amount of Sybils in Tuenti.
Generally speaking, there are two ways for service providers to construct a social network that satisfies homophily. One way is to approximately obtain trust relationships between users by looking into user interactions [37], predicting tie strength [38], asking users to rate their social contacts [39], etc. The other way is to preprocess the network structure so that structurebased methods are suitable to be applied. Specifically, analysts could detect and remove compromised benign nodes (e.g., front peers) [40], or employ featurebased classifier to filter Sybils, so as to decrease the number of attack edges and enhance the homophily. For instance, Alvisi et al. [41] showed that if the attack edges are established randomly, simple featurebased classifiers are sufficient to enforce Sybils to be suitable for structurebased Sybil detection. We note that the reason why the RenRen friendship social network did not satisfy homophily in the study of Yang et al. is that RenRen even didn’t deploy simple featurebased classifiers at that time [36].
Formally, we measure homophily as the fraction of edges in the social network that are not attack edges. For the same benign region and Sybil region, more attack edges indicate weaker homophily. As we will demonstrate in our empirical evaluations, our SybilSCAR can tolerate weaker homophily than existing methods.
When analyzing the theoretical bound on the falsely accepted Sybils, SybilSCAR further assumes that the iterative process of SybilSCAR converges fast in the benign region, which is similar to the fast mixing assumption of RWbased methods.
4 Our Local Rulebased Framework
In this section, we unify existing RWbased methods [12, 8, 13, 14, 15] and LBPbased methods [18, 19] into a local rulebased framework. Specifically, these methods first assign the prior knowledge of all nodes using a training dataset. Then, they propagate the prior knowledge among the social network to obtain the posterior knowledge via iteratively applying their local rules to every node. A local rule is to update the posterior knowledge of a node by combining the influences from its neighbors with its prior knowledge. We call the influence from a neighbor neighbor influence. Figure 2 shows our unified framework.
Notations: We denote by the weight of the edge , the set of neighbors of node , and the total weights of edges linked to , i.e., . In RWbased methods [12, 13, 14], edge weights model the relative importance (e.g., level of trust) of edges. In LBPbased method [18], an edge weight models the tendency that and share the same label. We denote by and the prior knowledge and posterior knowledge of the node , respectively. In RWbased methods, and are the prior and posterior reputation scores of , respectively, and they represent relative benignness of nodes. In LBPbased methods, and are the prior and posterior probabilities that node is a Sybil, respectively.
4.1 Additive Local Rule of RWbased Methods
Stateoftheart RWbased methods [12, 8, 13, 14] first assign prior reputation scores for every node using a training dataset. Then they iteratively apply the following local rule to every node:
(1) 
where is called a restart probability of the random walk. We note that SybilRank uses a restart probability of 0 and normalizes the final reputation scores by node degrees.
We have two observations for the additive local rule. First, the neighbor influence from a neighbor to is a fraction of ’s current reputation score , and the fraction is proportional to the edge weight . Second, this local rule combines the prior knowledge and the neighbor influences linearly to update the posterior knowledge about a node.
4.2 Multiplicative Local Rule of LBPbased Methods
SybilBelief [18]
, a LBPbased method, associates a binary random variable
with each node , where indicates that is Sybil while indicates that is benign. Then, and are the prior and posterior probabilities that , respectively. SybilBelief first assigns the prior probabilities for nodes using a set of labeled benign nodes and/or a set of labeled Sybils, and then it iteratively applies the following local rule [18]:(2)  
(3) 
where node potential and edge potential are defined as follows:
We also have two observations for the multiplicative local rule. First, this local rule explicitly models neighbor influences. Specifically, the neighbor influence from a neighbor to (i.e., ) is defined in Equation 2. To compute the neighbor influence , ’s neighbor needs to multiply the neighbor influences from all its neighbors except . Second, according to Equation 3, this local rule combines the neighbor influences with the prior probability nonlinearly.
4.3 Comparing RWbased Additive Local Rule with LBPbased Multiplicative Local Rule
LBPbased multiplicative local rule can tolerate a relatively larger fraction of label noise because of its nonlinearity [18], and it can leverage both labeled benign nodes and labeled Sybils. However, LBPbased multiplicative local rule is space and time inefficient because it requires a large amount of space and time to maintain the neighbor influences associated with every edge, and methods using this local rule are not guaranteed to converge. In contrast, RWbased additive local rule is space and time efficient, and methods using this local rule are guaranteed to converge. However, this local rule is sensitive to label noise, and it cannot leverage labeled benign nodes and labeled Sybils simultaneously.
5 Design of SybilSCAR
Under our framework, designing a new Sybil detection method is reduced to designing a new local rule. Therefore, we design a novel local rule. Then, we describe how we design SybilSCAR based on the new local rule.
5.1 Our New Local Rule
We aim to design a local rule that integrates the advantages of both RWbased and LBPbased local rules, while overcoming their limitations. Roughly speaking, our idea is to leverage the multiplicativeness like LBPbased local rule to be robust to label noise, while avoiding maintaining neighbor influences to be as space and time efficient as RWbased local rule. Next, we show how we model neighbor influences and combine neighbor influences with prior knowledge.
Neighbor influence: We associate a binary random variable with a node , where and mean that is a Sybil and benign node, respectively. We denote as the posterior probability that is a Sybil, i.e., . means is more likely to be a Sybil; means is more likely to be benign; and means we cannot decide ’s label. We model the probability that and have the same label as , which defines the homophily strength of the edge . Formally, we have:
means that and are in a homogeneous relationship, i.e., they tend to share the same label; means that and are in a heterogeneous relationship, i.e., they tend to have the opposite labels; and means that and are not correlated.
We denote by the neighbor influence of a neighbor to . is defined as the probability that is a Sybil (i.e., ), given the neighbor ’s information alone. According to the law of total probability, we compute as:
(4) 
We have several observations from Equation 5.1:

has no neighbor influence to (i.e., ) if ’s label is undecidable (i.e., ) or and are uncorrelated (i.e., );

has a positive neighbor influence to if and are in a homogeneous relationship, i.e., if , then ;

has a negative neighbor influence to if and are in a heterogeneous relationship, i.e., if , then .
Combining neighbor influences with prior: In our local rule, a node’s posterior probability of being Sybil is updated by combining its neighbor influences with its prior probability of being Sybil. In order to tolerate label noise, we leverage the multiplicative local rule in LBPbased methods. Specifically, we have:
(5) 
However, methods that iteratively apply the above multiplicative local rule to every user are not guaranteed to converge. Therefore we further linearize Equation 5. We first define two concepts residual variable and
residual vector
.Definition 2 (Residual Variable and Vector).
We define the residual of a variable as ; and we define the residual vector of as .
With above definition, we denote as the residual homophily strength. Moreover, by substituting variables in Equation 5.1 with their corresponding residuals, we have the residual neighbor influence as follows:
(6) 
Based on the approximations and when is small, we have the following theorem, which linearizes Equation 5.
Theorem 1.
The residual posterior probability of being a Sybil for a node can be linearized as:
(7) 
Proof.
See Appendix A. ∎
5.2 SybilSCAR Algorithm
Our SybilSCAR iteratively applies our local rule to every node to compute the posterior probabilities. Suppose we are given a set of labeled Sybils which we denote as and a set of labeled benign nodes which we denote as . SybilSCAR first utilizes and to assign a prior probability of being a Sybil for all nodes. Specifically,
(9) 
where indicates that we assign a higher prior probability of being a Sybil to labeled Sybils. Considering that the labels might have noise, we will set to be smaller than 0.5. In practice, these prior probabilities can also be obtained from featurebased methods. Specifically, for each user we can leverage a binary classifier, trained using user’s local features, to produce the probability of being a Sybil, which can then be treated as the user’s prior probability. With such prior probabilities, SybilSCAR iteratively applies our local rule in Equation 8 to update residual posterior probabilities of all nodes.
Representing SybilSCAR as a matrix form: For convenience, we denote by a vector the prior probability of being a Sybil for all nodes, i.e., . Similarly, we denote by a vector the posterior probability of all nodes, i.e., . Moreover, we denote and as the residual prior probability vector and residual posterior probability vector of all nodes, respectively. We denote as the adjacency matrix of the social graph, where the th row represents the neighbors of . Formally, if there exists an edge between nodes and , then the entry , otherwise . Moreover, we denote as the corresponding residual homophily strength matrix , where if . With these notations, we can represent our SybilSCAR as iteratively applying the following equation:
(10) 
where is the residual posterior probability vector in the th iteration. Initially, we set .
Algorithm 1 summarizes the pseudocode of SybilSCAR. We stop running SybilSCAR when the relative errors of residual posterior probabilities between two consecutive iterations is smaller than some threshold or it reaches the predefined number of maximum iterations . After SybilSCAR halts, we predict to be a Sybil if , otherwise we predict to be benign.
In this paper, we consider the following two cases for the homophily strength . Although we study these two settings, we believe that learning the homophily strength for each edge would be a valuable future work.
SybilSCARC: In this variant, we use a constant homophily strength for all edges, i.e., .
SybilSCARD: In this variant, we use a degreenormalized homophily strength for each edge, i.e., , where is the degree of node . The intuition is that when a node has many neighbors, each neighbor has a small influence on the node. In this variant, a node’s residual posterior probability is the sum of its residual prior probability and the average residual posterior probability of its neighbors. We note that SybilSCARD essentially uses the RWbased neighbor influence proposed by SybilWalk [16]. The differences with SybilWalk include 1) SybilWalk resets the residual posterior probabilities of labeled nodes to their residual prior probabilities in each iteration, and 2) SybilWalk does not consider prior probabilities of unlabeled nodes.
6 Theoretical Analysis
We first analyze the convergence condition of SybilSCAR. Then we analyze its peformance bound. Finally, we analyze its computational complexity.
6.1 Convergence Condition
We analyze the condition when SybilSCAR converges.
Lemma 1 (Sufficient and Necessary Convergence Condition for a Linear System [42]).
Suppose we are given an iterative linear process: . The linear process converges with any initial choice if and only if the spectral radius^{1}^{1}1
The spectral radius of a square matrix is the maximum of the absolute values of its eigenvalues.
of is smaller than 1, i.e., .Proof.
See [42]. ∎
Theorem 2 (Sufficient and Necessary Convergence Condition of SybilSCAR).
The sufficient and necessary condition that makes SybilSCAR converge is equivalent to
(11) 
Theorem 2 provides a strong sufficient and necessary convergence condition. However, in practice using Theorem 2 is computationally expensive, as it involves computing the largest eigenvalue with respect to spectral radius of . Hence, we instead derive a sufficient condition for SybilSCAR’s convergence, which enables us to set with cheap computation. Specifically, our sufficient condition is based on the fact that any norm is an upper bound of the spectral radius [43], i.e., , where indicates some matrix norm. In particular, we use the induced matrix norm ^{2}^{2}2, the maximum absolute row sum of the matrix.. In this way, our sufficient condition for convergence is as follows:
Theorem 3 (Sufficient Convergence Condition of SybilSCAR).
A sufficient condition that makes SybilSCAR converge is
(12) 
Proof.
As , we achieve the sufficient condition by enforcing , and thus . ∎
Next, we derive the sufficient convergence condition for SybilSCARC and SybilSCARD, respectively.
SybilSCARC: By applying Theorem 3, we have the sufficient condition for SybilSCARC to converge as . Note that our result provides a guideline to set , i.e., once is smaller than the inverse of 2 times of the maximum node degree, SybilSCARC is guaranteed to converge. In practice, however, some nodes (e.g., celebrities) could have orders of magnitude bigger degrees than the others (e.g., ordinary people), and such nodes make very small. In our experiments, we found that SybilSCARC can still converge when replacing the maximum node degree with the average node degree.
SybilSCARD: In this case, the summation of each row of has a fixed value . Therefore, . In practice, it is often , which implies that . Therefore, SybilSCARD is also convergent.
6.2 Security Guarantee
Existing RWbased methods: Some existing RWbased Sybil detection methods [9, 10, 11, 8, 14] have theoretical guarantees on the number of Sybils that are falsely accepted into a social network. For instance, Table I shows the theoretical guarantees of some representative methods. These guarantees are achieved based on the assumption that the benign region of the social network is fastmixing [44]. Roughly speaking, a graph is fast mixing if a random walk on the graph converges to its stationary distribution in iterations.
Method  #Accepted Sybils 

SybilGuard [9]  
SybilLimit [10]  
SybilInfer [11]  – 
SybilRank [8]  
CIA [13]  – 
Íntegro [14]  
SybilBelief [18]  – 
SybilSCARD 
SybilSCAR: We will derive security guarantee for a “weaker” version of SybilSCARD. In SybilSCARD, in each iteration, a node’s residual posterior probability is the sum of its residual prior probability and the average residual posterior probability of its neighbors. In other words, in each iteration, a node’s prior probability is injected to influence the dynamics of nodes’ residual posterior probabilities, which makes it harder to analyze the dynamics of residual posterior probabilities. Therefore, we consider a weaker version of SybilSCARD, in which the nodes’ residual prior probabilities are only injected in the initialization step. In other words, we have
(13)  
(14) 
This version of SybilSCARD has a converged solution that every node has the same residual posterior probability, i.e., for every node is a solution for SybilSCARD. We have the following security guarantee for this version of SybilSCARD:
Theorem 4.
Suppose SybilSCARD only leverages the nodes’ prior probabilities in the initialization step, residual posterior probabilities in the benign region converge in ) iterations (this is similar to the fast mixing assumption of RWbased methods), the attacker randomly establishes attack edges, and we are only given some labeled benign nodes. Then, the total number of Sybils whose residual posterior probabilities of being Sybil are lower than those of certain benign nodes is bounded by , where is the average node degree in the Sybil region.
Proof.
See Appendix B. ∎
Theorem 4 implies that when Sybils are more densely connected among themselves (i.e., the average degree is larger), it is easier for SybilSCAR to detect them. An intuitional explanation is that, when the Sybil region is more dense, a larger proportion of the residual posterior probabilities would be propagated among the Sybil region. Table I summarizes the theoretical performance bound of existing structurebased methods. For SybilRank, Íntegro, and CIA, the metric #accepted Sybils means the number of Sybils that are ranked lower than certain benign nodes. For the rest of methods, #accepted Sybils means the number of Sybils that are classified as benign. As we can see, our SybilSCAR achieves the tightest bound on the number of falsely accepted Sybils. We note that deriving security guarantee for SybilSCARC is still an open challenge. However, as we will demonstrate in our experiments, SybilSCARC outperforms SybilSCARD.
One key assumption of Theorem 4 is that residual posterior probabilities in the benign region converge after ) iterations. In other words, nodes in the benign region have similar residual posterior probabilities after ) iterations. We validate this assumption via simulations. Specifically, we synthesize a benign region and a Sybil region with 1,000 nodes and an average degree of 40 via the Erdos–Renyi (ER) model [45] or the Preferential Attachment (PA) model [46]; we randomly add 1,000 attack edges between the two regions; and we randomly label 10 benign nodes as the training set. Figure 3 shows the residual posterior probabilities of unlabeled benign nodes after iterations. We observe that unlabeled benign nodes have similar residual posterior probabilities.
6.3 Complexity Analysis
SybilSCAR (both SybilSCARC and SybilSCARD), stateoftheart RWbased methods [12, 8, 13], and LBPbased method [18] have the same space complexity, i.e., , and their time complexity is , where is the number of iterations. Although SybilSCAR and SybilBelief (a LBPbased method) have the same asymptotic space and time complexity, SybilSCAR is several times more space efficient and significantly more time efficient than SybilBelief in practice, as we demonstrate in our experiments. This is because SybilBelief needs to store neighbor influences (i.e., ) in both directions of every edge and update them in every iteration.
7 Empirical Evaluations
We compare our SybilSCARC and SybilSCARD with SybilRank [8], a stateoftheart RWbased method, and SybilBelief [18], a stateoftheart LBPbased method, in terms of accuracy, robustness to label noise, scalability, and convergence.
7.1 Experimental Setup
Dataset  #Nodes  #Edges  Ave. degree 

4,039  88,234  43.69  
Enron  33,696  180,811  10.73 
Epinions  75,877  811,478  21.39 
41,652,230  1,202,513,046  57.74 
7.1.1 Dataset Description
We use 1) three realworld social networks with synthesized Sybils and 2) a largescale Twitter dataset with real Sybils for evaluations. Table II shows some basic statistics about our datasets.
Social networks with synthesized Sybils: We use a real social graph as the benign region while synthesizing the Sybil region and adding attack edges between the two regions uniformly at random. There are different ways to synthesize the Sybil region. For instance, we can use a network model (e.g., Preferential Attachment (PA) model [46]) to generate a Sybil region. A Sybil region that is synthesized by a network model might be structurally very different from the benign region, e.g., although the PA model can generate graphs that have similar degree distribution with real social networks, the generated graphs have very small clustering coefficients, which is very different from realworld social networks. Such structural difference could bias Sybil detection results [41]. Moreover, a Sybil region synthesized by a network model like PA does not have community structures, making it unrealistic. Therefore, following recent studies [41, 18], we consider a Sybil attack in which the Sybil region is a replicate of the benign region. This way of synthesizing the Sybil region can avoid the structural difference between the two regions, and both Sybil region and benign region have complex community structures.
We utilize three social networks, i.e., Facebook (4,039 nodes and 88,234 edges), Enron (33,696 nodes and 180,811 edges), and Epinions (75,877 nodes and 811,478 edges), to represent different application scenarios. We obtained these datasets from SNAP (http://snap.stanford.edu/ data/index.html). A node in Facebook dataset represents a user in Facebook, and two nodes are connected if they are friends. A node in Enron dataset represents an email address, and an edge between two nodes indicate at least one email was exchanged between the two corresponding email addresses. Epinions is a whotrustwhom online social network of a general consumer review site Epinions.com. The nodes in Epinions denote members of the site. And in order to maintain quality, Epinsons encourages users to specify which other users they trust, and uses the resulting web of the trust to order the product reviews seem by each person. For each social network, we use it as the benign region and replicate it as a Sybil region. Moreover, without otherwise mentioned, we add 1,000 attack edges uniformly at random.
Twitter dataset with real Sybils: We obtained a snapshot of a largescale Twitter followerfollowee network crawled by Kwak et al. [47]. We transformed the followerfollowee network into an undirected one via keeping an edge between two users if there are at least one directed edge between them. The undirected Twitter graph has 41,652,230 nodes and 1,202,513,046 edges, with an average degree of 57.74. To perform evaluation, we need ground truth labels of the users. Since the Twitter network includes users’ Twitter IDs, we wrote a crawler to visit each user’s profile using Twitter’s API, which told us the status (i.e., active, suspended, or deleted) of each user. We found that 205,355 users were suspended by Twitter and we treated them as Sybils; 36,156,909 users were still active and we treated them as benign users. The remaining 5,289,966 users were deleted. As deleted users could be deleted by Twitter or by users themselves, we could not distinguish the two cases without accessing to Twitter’s internal data. Therefore, we treat them as unlabeled users. The average number of attack edges per Sybil is 181.55. Therefore, the Twitter network has a very weak homophily. Note that the number of benign users and the number of Sybils are very unbalanced, i.e., the number of labeled benign users is 176 times larger than the number of labeled Sybils.
Training and testing sets: For a social network with synthesized Sybils, we select 200 nodes uniformly at random and use them as a training dataset. For the Twitter dataset, we select 500,000 nodes uniformly at random and use them as a training dataset. The remaining benign and Sybil nodes are used as testing data.
7.1.2 Compared Methods
We compare SybilSCARC and SybilSCARD with SybilRank [8], a stateoftheart RWbased method, and SybilBelief [18], a stateoftheart LBPbased method. In addition, we use random guessing as a baseline.
For SybilSCARC and SybilSCARD, we set to consider possible label noises, i.e., we assign a prior probability 0.6, 0.4, and 0.5 to labeled Sybils, labeled benign users, and unlabeled nodes, respectively. We set and . Considering different average degrees of Facebook, Enron, Epinions, and Twitter, we set , , , and for SybilSCARC, respectively. We set the parameters of SybilRank and SybilBelief according to the papers that introduced them. For instance, for SybilBelief, the edge weight is set to be 0.9 for all edges; SybilRank requires early termination, and we set the number of iterations as .
We implemented SybilRank, SybilSCARC, and SybilSCARD in C++. We obtained a basic implementation of SybilBelief (also in C++) from its authors and optimized the implementation. We performed all our experiments on a Linux machine with 16GB memory and 8 cores.
7.2 Ranking Accuracy
7.2.1 Results on Social Networks with Synthesized Sybils
Viswanath et al. [48]
demonstrated that Sybil detection methods can be treated as ranking mechanisms, and they can be evaluated using Area Under the Receiver Operating Characteristic Curve (AUC). Therefore, we adopt AUC to evaluate ranking accuracy. Suppose we rank nodes with respect to their posterior reputation/probability of being a Sybil in a descending order. AUC is the probability that a randomly selected Sybil ranks higher than a randomly selected benign node. Note that random guessing, which ranks all nodes uniformly at random, has an AUC of 0.5.
Figure 4 shows AUCs of the compared methods as we increase the number of attack edges from 1,000 to 100,000. We have three observations. First, when a social network has strong homophily, i.e., the number of attack edges is small, all the compared methods achieve very high AUCs. For instance, SybilRank, SybilBelief, SybilSCARC, and SybilSCARD all achieve AUCs that are close to 1 when the number of attack edges is less than 1,000. Second, SybilSCARC, SybilSCARD, and SybilBelief are substantially more accurate than SybilRank when the number of attack edges becomes large, i.e., the social networks have weak homophily. A possible reason is that SybilSCARC, SybilSCARD, and SybilBelief can leverage both labeled benign users and labeled Sybils in the training dataset. Third, SybilSCARC achieves slightly larger AUCs than SybilBelief and SybilSCARD. Compared with SybilBelief, SybilSCARC uses a new neighbor influence by directly modeling the homophily property of the social network. Compared with SybilSCARD, SybilSCARC uses a constant weight for all edges, which may make the labeled nodes have larger influence to their neighbors.
7.2.2 Results on the Largescale Twitter Dataset
The AUCs of SybilRank, SybilBelief, SybilSCARD, and SybilSCARC are 0.37, 0.76, 0.77, and 0.80, respectively. SybilRank performs worse than random guessing. SybilSCARC performs better than SybilSCARD, which is comparable with SybilBelief. These results are consistent with those in social networks with synthesized Sybils, because the number of attack edges in the Twitter dataset is very large. We note that these AUCs are obtained via using a balanced training dataset. Specifically, among the 500,000 nodes in the training dataset, benign nodes are much more than Sybils; we subsample some benign nodes such that we have the same number of benign nodes and Sybils, and we use them as a balanced training dataset. We found that all the methods have very low AUCs (worse than random guessing) if we use the original unbalanced training dataset consisting of the randomly sampled 500,000 nodes. It would be an interesting future work to theoretically understand the impact of balanced/unbalanced training dataset on the accuracy of these methods.
In practice, the ranking of users can be used as a priority list to guide human workers to manually inspect users and detect Sybils. In particular, inspecting users according to their rankings could aid human workers to detect more Sybils than inspecting randomly picked users, within the same amount of time. When ranking is used for such purpose, the number of Sybils in topranked users is important because human workers can only inspect a limited number of users. AUC measures the overall ranking performance, but it cannot tell Sybils among the topranked users. Therefore, we further compare the considered methods using the fraction of Sybils in topranked users.
Specifically, for each method, we divide the top10K users obtained by the method into 10 intervals, where each interval has 1K users. Figure 5 shows the fraction of Sybils in each 1Kuser interval for the compared methods. First, SybilSCARC performs better than SybilBelief. Specifically, the fraction of Sybils ranges from 74.2% to 99.3% in the top10 1Kuser intervals for SybilSCARC, while the range is from 35.0% to 97.4% for SybilBelief. Second, SybilSCARC and SybilBelief outperform SybilSCARD, which demonstrates that the predefined constant edge weight is more informative than degreenormalized edge weight for ranking Sybils. Third, SybilRank is close to random guessing.
We note that SybilWalk [16] was shown to achieve good results on the same Twitter dataset. However, SybilWalk heavily preprocessed the Twitter dataset (e.g., identifying the highdegree nodes that have many attack edges and removing them) to significantly reduce the number of attack edges. We did not perform such preprocessing since it is timeconsuming to identify such nodes in practice. Without such preprocessing, SybilWalk has similar performance with SybilSCARD.
7.3 Robustness to label noise
In practice, a training dataset might have noises, i.e., some labeled benign users are actually Sybils and some labeled Sybils are actually benign. Such noises could be introduced by human mistakes [23]. Thus, one natural question is how label noise impacts the accuracy of detection methods.
For a given level of noise , we randomly choose of labeled Sybils in the training dataset and mislabel them as benign users; and we also sample of labeled benign users in the training dataset and mislabel them as Sybils. We vary from to with a step size of . Note that we didn’t perform experiments for as all these methods cannot detect Sybils when a majority of labels are incorrect. Figure 6 shows the AUCs of SybilRank, SybilBelief, SybilSCARC, and SybilSCARD on Facebook (note that we have similar results on Enron and Epinions, and thus omit them for simplicity) and Twitter datasets against different levels of label noises. We observe that 1) SybilSCARC has the best robustness against label noise; 2) SybilBelief is slightly more robust than SybilSCARD to label noise; 3) SybilSCARC, SybilSCARD, and SybilBelief are more robust to label noise than SybilRank. For instance, on the Facebook dataset, SybilSCARC and SybilBelief can tolerate label noise up to 40%, SybilSCARD can tolerate label noise up to 30%, while SybilRank performs worse than random guessing when label noise is higher than 20%.
We believe it is an interesting future work to theoretically understand the robustness to label noise of different methods. In the following, we provide a possible explanation on why SybilSCARC, SybilSCARD, and SybilBelief are more robust to label noise than SybilRank. When there are label noises, some benign nodes are treated as Sybils. The edges between these nodes and the rest of benign nodes become attack edges, while the original attack edges that connect with these nodes become edges in the new Sybil region. Similarly, some Sybils are mislabeled as benign nodes. The edges between these nodes and the rest of Sybils are treated as attack edges, while the original attack edges that connect with these nodes become edges in the new benign region. Since we randomly sample mislabeled nodes, the new attack edges are likely to be more than the original attack edges that become edges within the new benign region or Sybil region. Therefore, SybilSCARC, SybilSCARD, and SybilBelief outperform SybilRank, because they can tolerate a larger number of attack edges. Moreover, when label noise is larger than a certain threshold (this threshold is graphdependent), the new attack edges are more than what SybilSCARC, SybilSCARD, and SybilBelief can tolerate, and thus their performance degrades significantly.
7.4 Scalability
We evaluate scalability in terms of the peak memory and time used by each method. Because evaluating scalability requires social networks with varying number of edges, we evaluate scalability on synthesized graphs with different number of edges. Note that our purpose here is not to concern about the accuracy, which depends on the number of iterations of each method. Thus, to avoid the bias introduced by the number of iterations, we run all methods with the same number of iterations.
Figure 7 exhibits the peak memory and time used by SybilRank, SybilBelief, and SybilSCARC (SybilSCARD has the same complexity with SybilSCARC, and thus we omit its results for simplicity) for different number of edges with 20 iterations. We observe that: 1) all methods have linear space and time complexity, which is consistent with our theoretical analysis in Section 6.3; 2) SybilRank and SybilSCARC use almost the same space and time; 3) SybilSCARC requires a few times less memory than SybilBelief and is one order of magnitude faster than SybilBelief. The reason is that SybilBelief needs a large amount of resources to store and maintain the neighbor influence on every edge. We note that we optimized the implementation of SybilBelief provided by its authors, and our optimized version is one order of magnitude faster than the unoptimized version. Using the unoptimized implementation, SybilSCAR is around two orders of magnitude faster than SybilBelief, which was reported in [49].
7.5 Convergence
We define a relative error of residual posterior probability vectors of SybilSCARC (or SybilSCARD) as , where is the residual vector of posterior probability produced by SybilSCARC (or SybilSCARD) in the th iteration. Similarly, we can define relative errors for SybilRank and SybilBelief using their vectors of posterior reputation/probability. Figure 8 shows the relative errors vs. the number of iterations on Facebook with 1,000 attack edges. We observe that 1) SybilSCARC, SybilSCARD, and SybilRank converge after several iterations; and 2) the relative errors of SybilBelief oscillate. SybilBelief does not converge because there exists many loops in realworld social networks and LBP may oscillate on graphs with loops, as pointed out by the author of LBP [22].
7.6 Impact of the Parameter
The parameter is the residual prior probability of labeled nodes. Figure 9 shows the AUCs of SybilSCARD and SybilSCARC for different and different levels of label noise, where the dataset is Facebook. Note that should be in the range (0, 0.5]. Therefore, we explored the values 0.1, 0.2, 0.3, 0.4, and 0.5. We observe that both SybilSCARD and SybilSCARC are stable with respect to the choice of .
7.7 Summary
We summarize our key observations as follows:

Compared to SybilRank, SybilSCARC and SybilSCARD are substantially more accurate and more robust to label noise.

Compared to SybilBelief, SybilSCARC is more accurate, significantly more scalable, and guaranteed to converge.

SybilSCARC outperforms SybilSCARD, showing that a constant edge weight is more informative than degreenormalized edge weight for Sybil detection.

SybilSCARC and SybilSCARD are stable with respect to the prior probabilities of the labeled nodes.
8 Conclusion and Future Work
In this work, we first propose a local rule based framework to unify stateoftheart Random Walk (RW)based and Loopy Belief Propagation (LBP)based Sybil detection methods. Our framework makes it possible to analyze and compare different Sybil detection methods in a unified way. Second, we design a new local rule. Our local rule integrates advantages of RWbased methods and LBPbased methods, while overcoming their limitations. Third, we perform both theoretical and empirical evaluations. Theoretically, SybilSCAR has a tighter asymptotical bound on the number of Sybils that are falsely accepted into the social network than existing structurebased methods. Moreover, SybilSCAR can guarantee to converge. Empirically, our experimental results on both synthesized Sybils and realworld Sybils demonstrate that SybilSCAR is more accurate and more robust to label noise than SybilRank, while SybilSCAR is more accurate and significantly more scalable than SybilBelief.
Future research directions include 1) learning the homophily strength for each edge; 2) theoretically analyzing different local rules with respect to accuracy and robustness to label noise; 3) theoretically understanding the impacts of balanced/unbalanced training dataset; and 4) applying SybilSCAR to detect other types of Sybils such as web spams, fake reviews, fake likes, etc.
References
 [1] H. Gao, Y. Chen, K. Lee, D. Palsetia, and A. Choudhary, “Towards online spam filtering in social networks,” in NDSS, 2012.
 [2] Facebook Popularity. (2015, October). [Online]. Available: http://www.alexa.com/topsites
 [3] Sybils in Twitter, “http://www.nbcnews.com/technology/110twitteraccountsfakesayresearchers2d11655362.”
 [4] Hacking Election. (2016, May). [Online]. Available: http://goo.gl/G8o9x0
 [5] Hacking Financial Market. (2016, May). [Online]. Available: http://goo.gl/4AkWyt
 [6] K. Thomas, C. Grier, J. Ma, V. Paxson, and D. Song, “Design and evaluation of a realtime url spam filtering service,” in IEEE S & P, 2011.
 [7] L. Bilge, T. Strufe, D. Balzarotti, and E. Kirda, “All your contacts are belong to us: Automated identity theft attacks on social networks,” in WWW, 2009.
 [8] Q. Cao, M. Sirivianos, X. Yang, and T. Pregueiro, “Aiding the detection of fake accounts in large scale social online services,” in NSDI, 2012.
 [9] H. Yu, M. Kaminsky, P. B. Gibbons, and A. Flaxman, “Sybilguard: defending against sybil attacks via social networks,” in ACM SIGCOMM. ACM, 2006.
 [10] H. Yu, P. B. Gibbons, M. Kaminsky, and F. Xiao, “SybilLimit: A nearoptimal social network defense against Sybil attacks,” in IEEE S & P, 2008.
 [11] G. Danezis and P. Mittal, “SybilInfer: Detecting Sybil nodes using social networks,” in NDSS, 2009.
 [12] A. Mohaisen, N. Hopper, and Y. Kim, “Keep your friends close: Incorporating trust into social networkbased sybil defenses,” in IEEE INFOCOM, 2011.
 [13] C. Yang, R. Harkreader, J. Zhang, S. Shin, and G. Gu, “Analyzing spammer’s social networks for fun and profit,” in WWW, 2012.
 [14] Y. Boshmaf, D. Logothetis, G. Siganos, J. Leria, J. Lorenzo, M. Ripeanu, and K. Beznosov, “Integro: Leveraging victim prediction for robust fake account detection in osns,” in NDSS, 2015.
 [15] Y. Liu, S. Ji, and P. Mittal, “Smartwalk: Enhancing social network security via adaptive random walks,” in ACM CCS, 2016.
 [16] J. Jia, B. Wang, and N. Z. Gong, “Random walk based fake account detection in online social networks,” in DSN, 2017.
 [17] J. Zhang, R. Zhang, J. Sun, Y. Zhang, and C. Zhang, “Truetop: A sybilresilient system for user influence measurement on twitter,” IEEE/ACM ToN, 2016.

[18]
N. Z. Gong, M. Frank, and P. Mittal, “Sybilbelief: A semisupervised learning approach for structurebased sybil detection,”
IEEE TIFS, vol. 9, no. 6, pp. 976–987, 2014.  [19] P. Gao, B. Wang, N. Z. Gong, S. Kulkarni, and P. Mittal, “Sybilfuse: Combining local attributes with global structure to perform robust sybil detection,” MIS2, 2018.
 [20] H. Fu, X. Xie, Y. Rui, N. Z. Gong, G. Sun, and E. Chen, “Robust spammer detection in microblogs: Leveraging user carefulness,” ACM TIST, 2017.
 [21] B. Wang, N. Z. Gong, and H. Fu, “Gang: Detecting fraudulent users in online social networks via guiltbyassociation on directed graphs,” in ICDM, 2017.
 [22] J. Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988.
 [23] G. Wang, M. Mohanlal, C. Wilson, X. Wang, M. Metzger, H. Zheng, and B. Y. Zhao, “Social turing tests: Crowdsourcing sybil detection,” NDSS, 2013.
 [24] Z. Yang, C. Wilson, X. Wang, T. Gao, B. Y. Zhao, and Y. Dai, “Uncovering social network Sybils in the wild,” in ACM IMC, 2011.
 [25] A. H. Wang, “Don’t follow me  spam detection in twitter,” in SECRYPT 2010, 2010.
 [26] G. S. S. Yardi, D. Romero and D. Boyd, “Detecting spam in a Twitter network,” First Monday, vol. 15(1), 2010.
 [27] K. Lee, J. Caverlee, and S. Webb, “Uncovering social spammers: Social honeypots + machine learning,” in ACM SIGIR, 2010.
 [28] F. Benevenuto, G. Magno, T. Rodrigues, and V. Almeida, “Detecting spammers on twitter,” in CEAS, 2010.
 [29] J. Song, S. Lee, and J. Kim, “Spam filtering in Twitter using senderreceiver relationship,” in RAID, 2011.
 [30] T. Stein, E. Chen, and K. Mangla, “Facebook immune system,” in SNS, 2011.
 [31] G. Wang, T. Konolige, C. Wilson, and X. Wang, “You are how you click: Clickstream analysis for sybil detection,” in Usenix Security, 2013.
 [32] Q. Cao, X. Yang, J. Yu, and C. Palow, “Uncovering large groups of active malicious accounts in online social networks,” in ACM CCS, 2014.
 [33] Q. Cao, M. Sirivianos, X. Yang, and K. Munagala, “Combating friend spam using social rejections,” in ICDCS. IEEE, 2015, pp. 235–244.
 [34] G. Wang, M. Mohanlal, C. Wilson, X. Wang, M. Metzger, H. Zheng, and B. Y. Zhao, “Social turing tests: Crowdsourcing Sybil detection,” in NDSS, 2013.
 [35] G. Danezis, C. Diaz, C. Troncoso, and B. Laurie, “Drac: An architecture for anonymous lowvolume communications,” in PETS, 2010.
 [36] Z. Yang, C. Wilson, X. Wang, T. Gao, B. Y. Zhao, and Y. Dai, “Uncovering social network sybils in the wild,” ACM TKDD, 2014.
 [37] C. Wilson, B. Boe, A. Sala, K. P. Puttaswamy, and B. Y. Zhao, “User interactions in social networks and their implications,” in Eurosys, 2009.
 [38] E. Gilbert and K. Karahalios, “Predicting tie strength with social media,” in CHI, 2009.
 [39] W. Wei, F. Xu, C. Tan, and Q. Li, “SybilDefender: Defend against Sybil attacks in large social networks,” in IEEE INFOCOM, 2012.
 [40] Y. Wang and A. Nakao, “Poisonedwater: An improved approach for accurate reputation ranking in p2p networks,” FGCS, vol. 26, no. 8, pp. 1317–1326, 2010.
 [41] L. Alvisi, A. Clement, A. Epasto, S. Lattanzi, and A. Panconesi, “Sok: The evolution of sybil defense via social networks,” in IEEE S & P, 2013.
 [42] Y. Saad, Iterative methods for sparse linear systems. Siam, 2003.
 [43] N. Derzko and A. Pfeffer, “Bounds for the spectral radius of a matrix,” Mathematics of Computation, vol. 19, no. 89, 1965.
 [44] D. A. Levin, Y. Peres, and E. L. Wilmer, Markov chains and mixing times. American Mathematical Soc., 2009.
 [45] P. Erdos and A. Rényi, “On the evolution of random graphs,” Publ. Math. Inst. Hung. Acad. Sci, vol. 5, no. 1, pp. 17–60, 1960.
 [46] A.L. Barabási and R. Albert, “Emergence of scaling in random networks,” Science, vol. 286, 1999.
 [47] H. Kwak, C. Lee, H. Park, and S. Moon, “What is twitter, a social network or a news media?” in Proceedings of the 19th international conference on World wide web. ACM, 2010, pp. 591–600.
 [48] B. Viswanath, A. Post, K. P. Gummadi, and A. Mislove, “An analysis of social networkbased Sybil defenses,” in ACM SIGCOMM, 2010.
 [49] B. Wang, L. Zhang, and N. Z. Gong, “Sybilscar: Sybil detection in online social networks via local rule based propagation,” in IEEE INFOCOM, 2017.
Appendix A Proof of Theorem 1
We denote . Rewriting with the corresponding residual variables yields
Using approximation when is small, we have:
(15) 
Similarly, via rewriting with the corresponding residual variables and using approximation when is small, we have:
(16) 
Appendix B Proof of Theorem 4
Overview: We leverage the classic analysis methods proposed by the authors of SybilRank. Specifically, SybilRank proposed the following three classic steps: 1) modeling the exchange of trust scores between benign region and Sybil region in each iteration, 2) modeling the trust score dynamics in the benign and Sybil regions, and 3) assuming the increased trust scores in the Sybil region all focus on a small group of Sybils. We follow these three steps to analyze residual posterior probabilities in the simplified version of SybilSCARD. However, one key difference is that SybilSCARD uses a different local rule with SybilRank, and thus the mathematical details in all the three steps are different.
Notations: We denote by and the set of benign nodes and Sybils, respectively. We denote by and the average degree of benign nodes and Sybil nodes, respectively. We denote by and the number of benign nodes and Sybils, respectively. For a node set , we denote its volume as the sum of degrees of nodes in , i.e., = . Moreover, we have
(18) 
which were introduced by SybilRank. We denote by and the average residual posterior probability of benign nodes and Sybils in the th iteration, respectively. Initially, (since we do not consider labeled Sybils in the training dataset) and .
Exchange of residual posterior probabilities between benign region and Sybil region: In the th iteration, the average residual posterior probability of Sybils and the average residual posterior probability of benign nodes can be approximated as follows:
(19)  
(20) 
We take Equation 19 as an example to illustrate how we derive the equations. In the considered version of SybilSCARD, in each iteration, a node’s residual posterior probability is the average of its neighbors’ residual posterior probabilities. Since we assume the attack edges are randomly established between benign nodes and Sybils, the total residual posterior probability propagated from the benign nodes to Sybils is . Moreover, the total residual posterior probability propagated within the Sybils is , because each edge between Sybils contributes one copy of on average. Since each node takes the average of its neighbors’ residual posterior probabilities, each Sybil has an average residual posterior probability as , which gives us Equation 19.
Note that the derivation of Equations 19 and 20 is inspired by SybilRank [8]. However, since SybilSCARD and SybilRank use different local rules (though both are linear local rules), their exchange dynamics between benign region and Sybil region are different. This difference leads to different dynamics within benign/Sybil region and eventually leads to different security guarantees. Given Equations 19 and 20, we have:
(21) 
Dynamics in the Sybil and benign regions: The decrease of the average residual posterior probabilities of Sybils is as follows:
(22)  
(23)  
(24) 
where the above equation is negative (so we call it a decrease) because is negative. Therefore, we have:
(25) 
Similarly, the increase of the average residual posterior probabilities of benign nodes is as follows:
(26)  
(27)  
(28) 
where the above equation is positive (so we call it an increase) because is negative. Furthermore, we have:
(29) 
Security guarantee: We assume after iterations, benign nodes have similar residual posterior probabilities, which are the average residual posterior probability of benign nodes. We note that SybilRank relies on a similar assumption, i.e., after iterations, benign nodes have similar degreenormalized trust scores. We assume the decrease of residual posterior probabilities of Sybils all focus on Sybils, which gives an upper bound of Sybils whose residual posterior probabilities are smaller than benign nodes. If we want these Sybils to have residual posterior probabilities that are smaller than benign nodes, then we have:
(30)  
(31)  
(32) 
where the last step holds because . Moreover, we have:
(33)  
(34)  
(35)  
(36)  
(37)  
(38)  
(39)  
(40)  
(41) 
where in Equation 37, we use the firstorder and secondorder Taylor expansion on nominator and denominator, respectively; In Equation 38, we use , , and . By setting , we have:
(42) 
Comments
There are no comments yet.