CONCURRENCY AND COMPUTATION : PRACTICE AND EXPERIENCE Concurrency Computat

The increasing complexity of computer systems and communication networks induces tremendous requirements for trust and security. This special issue includes topics on trusted computing, risk and reputation management, network security and survivable computer systems/networks. These issues have evolved into an active and important area of research and development. The past decade has witnessed a proliferation of concurrency and computation systems for practice of highly trust, security and privacy, which has become a key subject in determining future research and development activities in many academic and industrial branches. This special issue aims to present and discuss advances of current research and development in all aspects of trusted computing and network security. In addition, this special issue provides snapshots of contemporary academia work in the field of network trusted computing. We prepared and organized this special issue to record state-of-theart research, novel development and trends for future insight in this domain. In this special issue, 14 papers have been accepted for publication, which demonstrate novel and original work in this field. A detailed overview of the selected works is given below. The first paper entitled Dynamic Malicious Node Detection with Semi-supervised Multivariate Classification in Cognitive Wireless Sensor Networks designed a multivariate classifier to detect malicious nodes in wireless sensor networks [1]. Communication features of normal and malicious node are first extracted and modeled, with the help of multivariate classification algorithm, the type of unknown sensor can be inferred. In addition, this work has presented a promising detecting result, which limited the false detection rate under 1 percentile. The second paper, Efficient Privacy Preserving Matchmaking for Mobile Social Networking against Malicious Users, addressed an interesting topic in the increasingly important area of mobile social networking [2]. The paper presents a protocol that is shown to preserve privacy, by not revealing attribute data to participants, with the intent of being efficient and tolerant of semi-honest and malicious attacks. Theoretical analysis and simulation results are presented to demonstrate the security and efficiency of the protocol. The third paper, A Formal Analysis of Authentication Protocols for Mobile Devices in Next Generation Networks, investigated authentication protocols for in next generation networks (NGNs) [3]. This paper has introduced two authentication protocols, verifies those using formal methods approach and discusses how the developed protocols achieved desired security proprieties. Moreover, this work considered a number of protocols in the literature, which have been proposed to address device authentication in NGNs. The comparison shows that the developed protocols meet the desired security properties without resulting in an additional overhead. The fourth paper, An Efficient Protocol for Two-Party Explicit Authenticated Key Agreement,İ has investigated the authentication protocols in a different insight [4]. This paper examined the issue on authenticated two-party key agreement protocol over an insecure public network and extends the existing implicit authenticated key agreement protocol into the explicit one by introducing the authenticators. Both of these papers have novel developments in authentication protocols in network security. Cloud computing offers the potential for significant cost reductions and increased agility for users. On the other hand, security concerns continue to be raised as a potential barrier to uptake for clouds. The fifth paper, An Overview of Insider-Attacks in Cloud Computing,İ involved a detailed modeling of the threat and vulnerability land scape, including the incentives and motivations which drive attackers [5]. The sixth paper, A Lightweight Software Fault-Tolerance System in the Cloud Environment, investigated the software failures which has significantly impact on high availability for services in cloud computing [6]. This work presented a lightweight software