Search

Your search keyword '"security protocol"' showing total 1,097 results
Start Over Descriptor "security protocol"

Refine your results

more »

more »

more »

more »

more »
1,097 results on '"security protocol"'

101. Hash-Chain Fog/Edge: A Mode-Based Hash-Chain for Secured Mutual Authentication Protocol Using Zero-Knowledge Proofs in Fog/Edge

Author

Mayuresh Sunil Pardeshi, Ruey-Kai Sheu, and Shyan-Ming Yuan

Subjects
security, mutual authentication, fog/edge security, security protocol, Internet of Things (IoT), Chemical technology, TP1-1185
Abstract

Authentication is essential for the prevention of various types of attacks in fog/edge computing. So, a novel mode-based hash chain for secure mutual authentication is necessary to address the Internet of Things (IoT) devices’ vulnerability, as there have been several years of growing concerns regarding their security. Therefore, a novel model is designed that is stronger and effective against any kind of unauthorized attack, as IoT devices’ vulnerability is on the rise due to the mass production of IoT devices (embedded processors, camera, sensors, etc.), which ignore the basic security requirements (passwords, secure communication), making them vulnerable and easily accessible. Furthermore, crackable passwords indicate that the security measures taken are insufficient. As per the recent studies, several applications regarding its requirements are the IoT distributed denial of service attack (IDDOS), micro-cloud, secure university, Secure Industry 4.0, secure government, secure country, etc. The problem statement is formulated as the “design and implementation of dynamically interconnecting fog servers and edge devices using the mode-based hash chain for secure mutual authentication protocol”, which is stated to be an NP-complete problem. The hash-chain fog/edge implementation using timestamps, mode-based hash chaining, the zero-knowledge proof property, a distributed database/blockchain, and cryptography techniques can be utilized to establish the connection of smart devices in large numbers securely. The hash-chain fog/edge uses blockchain for identity management only, which is used to store the public keys in distributed ledger form, and all these keys are immutable. In addition, it has no overhead and is highly secure as it performs fewer calculations and requires minimum infrastructure. So, we designed the hash-chain fog/edge (HCFE) protocol, which provides a novel mutual authentication scheme for effective session key agreement (using ZKP properties) with secure protocol communications. The experiment outcomes proved that the hash-chain fog/edge is more efficient at interconnecting various devices and competed favorably in the benchmark comparison.

Published
2022
Full Text
View/download PDF

102. Security analysis of security protocol Swift implementations based on computational model

Author

Bo MENG, Xudong HE, Jinli ZHANG, Lili YAO, and Jintian LU

Subjects
security protocol, implementations security, Swift language, formal analysis, model extraction, Telecommunication, TK5101-6720
Abstract

Analysis of security protocol Swift implementations in IOS platform is important to protect the security of IOS applications.Firstly,according to the security protocol Swift implementations,the SubSwift language,which was a subset of Swift language,was widely used in IOS system,and its BNF were specified.Secondly,the mapping model from SubSwift language to Blanchet calculus based on the operational semantic was presented which consisted of mapping rules,relationship from the statements and types in SubSwift language to Blanchet calculus.And then,a method of generating security protocol Blanchet calculus implementations from SubSwift language implementations was developed.Finally,security protocol Blanchet calculus implementation generation tool SubSwift2CV was developed with Antrl4 and Java language.At the same time,OpenID Connect,Oauth2.0 and TLS security protocol SubSwift language implementations were analyzed with SubSwift2CV and CryptoVerif.

Published
2018
Full Text
View/download PDF

103. SecAuthUAV: A Novel Authentication Scheme for UAV-Ground Station and UAV-UAV Communication.

Author

Alladi, Tejasvi, Naren, Bansal, Gaurang, Chamola, Vinay, and Guizani, Mohsen

Subjects
*KEY agreement protocols (Computer network protocols), *EARTH stations, *PHYSICAL mobility, *DRONE aircraft, *SMART cards
Abstract

Unmanned Aerial Vehicles (UAVs) are becoming very popular nowadays due to the emergence of application areas such as the Internet of Drones (IoD). They are finding wide applicability in areas ranging from package delivery systems to automated military applications. Nevertheless, communication security between a UAV and its ground station (GS) is critical for completing its task without leaking sensitive information either to the adversaries or to unauthenticated users. UAVs are especially vulnerable to physical capture and node tampering attacks. Further, since UAV devices are generally equipped with small batteries and limited memory storage, lightweight security techniques are best suited for them. Addressing these issues, a lightweight mutual authentication scheme based on Physical Unclonable Functions (PUFs) for UAV-GS authentication is presented in this paper. The UAV-GS authentication scheme is extended further to support UAV-UAV authentication. We present a formal security analysis as well as old-fashioned cryptanalysis and show that our protocol provides various security features such as mutual authentication, user anonymity, etc, and is resilient against many security attacks such as masquerade, replay, node tampering, and cloning attacks, etc. We also compare the performance of our protocol with state-of-the-art authentication protocols for UAVs, based on computation, communication, and memory storage cost. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

104. Provably Secure Escrow-Less Chebyshev Chaotic Map-Based Key Agreement Protocol for Vehicle to Grid Connections With Privacy Protection.

Author

Abbasinezhad-Mood, Dariush, Ostad-Sharif, Arezou, Mazinani, Sayyed Majid, and Nikooghadam, Morteza

Abstract

Security and privacy concerns necessitate the careful management of shared keys in the vehicle to grid (V2G) networks. To do so, in recent years, several interesting key agreement protocols have been proposed to be employed in the context of V2G networks. As the efficiency is of prime significance in V2G networks, many of these protocols have been designed to be as light as possible. Nevertheless, review of the previous works indicates that the existing lightweight schemes cannot provide the desired security properties. Furthermore, the existing secure protocols are not so proper to be used by computationally limited devices in the V2G networks. Therefore, in this article, by utilizing the efficient Chebyshev chaotic map-based public key cryptosystem, we propose an anonymous key agreement scheme, which can not only provide the expected security requirements, but also has a proper level of performance. To demonstrate the security of the proposed scheme, we present a rigorous formal security proof using the random oracle model. In addition, to show its outperformance, we both compare it with several recently published well-known schemes and perform the experimental study. In general, the results indicate the efficiency of the proposed protocol in comparison to the related ones. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

105. Security offloading network system for expanded security coverage in IPv6-based resource constrained data service networks.

Author

Han, Jiyong and Kim, Daeyoung

Subjects
*COMPUTER network security, *SECURITY systems, *DATA security, *INTERNET of things, *DATA transmission systems, *INTERNET protocols
Abstract

Recent years have seen the development of successful internet of things (IoT) technologies based on IP-enabled data networks. Despite the growing demand for security of resource-constrained data service networks, a majority of nodes in them typically lack memory space and computational ability compared to Internet nodes. This restricts constrained nodes from implementing and operating burdensome security protocols and authentication methods. To overcome this problem, we propose a security offloading network system which expands the security coverage to constrained nodes in IPv6-based heterogeneous networks. The proposed system supports constrained nodes by offloading the handshake and data transmission of a security protocol to offloading agents. Constrained nodes can also utilize the ciphersuites of offloading agents without the burden of deploying them. The offloading server controls the registration, the authentication, and the load-balanced allocation of offloading-agents. The implementation and evaluation show the feasibility of the proposed system by presenting practical network performance analyses in respect of availability, responsiveness, protocol overhead, and validation. This research would be advantageous for constrained nodes to achieve a high level of security, lowering the cost of network devices at the same time. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

106. Comments on "A Multi-factor User Authentication and Key Agreement Protocol Based on Bilinear Pairing for the Internet of Things".

Author

Shamshad, Salman, Mahmood, Khalid, and Kumari, Saru

Subjects
INTERNET of things, MULTI-factor authentication, BASE pairs, GATEWAYS (Computer networks), SMART cards, IMPERSONATION
Abstract

The Internet of Things (IoT) introduces a novel model for the future internet that aims to offer communication between numerous interactive objects via heterogeneous networks. The concept of IoT is that everything within the global network is interconnected and accessible. Although, the increasing use of IoT offers a lot of benefits but it also entails different privacy and security encounters which needs to be considered. One of the major security concerns is authentication of the user, which means that if a user wants to access IoT node then the user and IoT node must authenticate each other. Therefore, to ensure the security of the IoT paradigm, a number of multi-factor user authentication schemes have been proposed by many researchers. Very recently, Nikravan-Reza (Wirel Pers Commun, 2019. 10.1007/s11277-019-06869-y) proposed multi-factor user authentication and key agreement protocol for IoT environments. In their scheme, firstly the gateway authenticates the legitimacy of the user and then the user is authenticated by IoT node. In this comments paper, we reviewed their scheme and noticed that their scheme fails to withstand user and IoT node impersonation attacks. Moreover, their scheme does not offer security features that they have claimed in their paper. Since their scheme is vulnerable to various considerable security attacks, so it is not suitable for practical implementation. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

107. Lightweight Secure Message Broadcasting Protocol for Vehicle-to-Vehicle Communication.

Author

Limbasiya, Trupil and Das, Debasis

Abstract

Vehicular communications are used in various safety and business applications in today's technological world for user benefits. In this, vehicle-to-vehicle (V2V) communication enables users to exchange meaningful information with nearby vehicles directly. In general, vehicles move faster on the highway rather than the intersection road environment, and thus, a robust system is required to communicate efficiently and securely. Recently, researchers have designed various message dissemination schemes, but different concerns (i.e., security threats, more execution time, high communication overhead, and storage cost) are present in these systems, and it leads to unreliability for on-the-fly communication. Therefore, in this article, we propose an efficient and secure V2V data transmission protocol using a one-way hash function to send valuable information at the receiver side quickly. The results present that the suggested scheme performs better in execution time, storage cost, communication overhead, and energy consumption compared to the existing V2V protocols. Further, the proposed method resists various security attacks, i.e., modification, impersonation, replay, man-in-the-middle, stolen on-board-unit, password guessing, and concatenation. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

108. A qualitative analysis of the feasibility of deploying biometric authentication systems to augment security protocols of bank card transactions.

Author

Chigada, Joel M.

Subjects
*BIOMETRIC identification, *CREDIT card fraud, *COMMUNICATION infrastructure, *SECURITY systems, INFORMATION technology personnel
Abstract

Background: This study investigated the end-users' perceptions about the feasibility of deploying biometric authentication systems as intervention solutions to ameliorate card fraud in the South African payment card industry. Objectives: The objective of the study was to determine if the existing banking technology and telecommunications infrastructure were capable of supporting biometric payment systems. Method: In this qualitative research, interviews were conducted with 30 sample elements selected from commercial banks, telecommunications companies and other service providers. The sample included individuals working with banking back-end technologies, telecommunications service providers and credit card fraud experts. Results: The study established that banking technology and telecommunications infrastructure were capable of supporting biometric payment systems. It was revealed that the deployment of biometric systems would mitigate card fraud transactions. However, findings showed that introduction of zero-floor limits led to high traffic volumes, creating congestion on the telecommunications connectivity. Thus, there was a high likelihood that transaction processes would be slow during peak periods. Conclusion: The implementation of biometric systems required highly skilled information technology personnel to oversee and support these technologies. This was identified as a potential hindrance for banks. The study established that existing banking and telecommunications infrastructure was capable and supported biometric systems. Banks were not keen to invest in an outright biometric environment because of the huge costs that would be incurred in implementing advanced technologies. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

109. On Attacker Models and Profiles for Cyber-Physical Systems

Author

Rocchetto, Marco, Tippenhauer, Nils Ole, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Askoxylakis, Ioannis, editor, Ioannidis, Sotiris, editor, Katsikas, Sokratis, editor, and Meadows, Catherine, editor

Published
2016
Full Text
View/download PDF

110. Performance Modelling of Optimistic Fair Exchange

Author

Zhao, Yishi, Thomas, Nigel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Wittevrongel, Sabine, editor, and Phung-Duc, Tuan, editor

Published
2016
Full Text
View/download PDF

111. Guided Specification and Analysis of a Loyalty Card System

Author

Cuennet, Laurent, Pouly, Marc, Radomirović, Saša, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mauw, Sjouke, editor, Kordy, Barbara, editor, and Jajodia, Sushil, editor

Published
2016
Full Text
View/download PDF

112. Automated Verification of Timed Security Protocols with Clock Drift

Author

Li, Li, Sun, Jun, Dong, Jin Song, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fitzgerald, John, editor, Heitmeyer, Constance, editor, Gnesi, Stefania, editor, and Philippou, Anna, editor

Published
2016
Full Text
View/download PDF

113. SPEC: An Equivalence Checker for Security Protocols

Author

Tiu, Alwen, Nguyen, Nam, Horne, Ross, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Igarashi, Atsushi, editor

Published
2016
Full Text
View/download PDF

114. CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions

Author

Rocchetto, Marco, Tippenhauer, Nils Ole, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ogata, Kazuhiro, editor, Lawford, Mark, editor, and Liu, Shaoying, editor

Published
2016
Full Text
View/download PDF

115. Security and Privacy of Protocols and Software with Formal Methods

Author

Biondi, Fabrizio, Legay, Axel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

117. Security Analysis on “A Secure Three-Factor User Authentication Protocol With Forward Secrecy for Wireless Medical Sensor Network Systems”.

Author

Saleem, Muhammad Asad, Shamshad, Salman, Ahmed, Shafiq, Ghaffar, Zahid, and Mahmood, Khalid

Abstract

The Internet of Things (IoT) facilitates different devices and objects to get connected with the Internet. This connectivity helps to switch data via various emerging technologies, which shapes the vision of intelligent identification into reality. As a foremost base of the IoT, the wireless sensor networks (WSNs) have been practiced in various fields, such as smart transportation and smart healthcare. Due to rapid development of WSNs and wireless medical sensor networks (WMSNs), etc., the data security issues and challenges, such as leakage of secret data, have also gained the serious attention of the researchers. Recently, the researchers have devised various authentication protocols for WMSNs, but many of them have serious security flaws. In order to overcome the security flaws of recently designed protocols, Li et al. (IEEE Syst. J., vol. 14, no. 1, pp. 39–50, Mar. 2020) presented a three-factor user authentication protocol for WMSN. Their work claimed that their proposed protocol not only offers user anonymity but also prevents sensor node impersonation attack. In this paper, we present the detailed security analysis of Li et al.’s protocol, which shows that their protocol fails to resist sensor node impersonation attack and does not offer user anonymity. At the end, we suggest the suitable remedy to overcome the deficiencies present in Li et al.’s protocol. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

120. Composing Security Protocols: From Confidentiality to Privacy

Author

Arapinis, Myrto, Cheval, Vincent, Delaune, Stéphanie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

121. Type-Based Verification of Electronic Voting Protocols

Author

Cortier, Véronique, Eigner, Fabienne, Kremer, Steve, Maffei, Matteo, Wiedling, Cyrille, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

122. Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols

Author

Kanovich, Max, Kirigin, Tajana Ban, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

123. Automatically Checking Commitment Protocols in ProVerif without False Attacks

Author

Chothia, Tom, Smyth, Ben, Staite, Chris, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

124. Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques

Author

Cheval, Vincent, Cortier, Véronique, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

125. Abstractions for Security Protocol Verification

Author

Nguyen, Binh Thanh, Sprenger, Christoph, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

126. Leakiness is Decidable for Well-Founded Protocols

Author

Fröschle, Sibylle, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

127. The Lifetime of Android API Vulnerabilities: Case Study on the JavaScript-to-Java Interface (Transcript of Discussion)

Author

Thomas, Daniel R., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, Švenda, Petr, editor, Matyáš, Vashek, editor, Malcolm, James, editor, Stajano, Frank, editor, and Anderson, Jonathan, editor

Published
2015
Full Text
View/download PDF

128. Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Author

Bigi, Giancarlo, Bracciali, Andrea, Meacci, Giovanni, Tuosto, Emilio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bodei, Chiara, editor, Ferrari, Gianluigi, editor, and Priami, Corrado, editor

Published
2015
Full Text
View/download PDF

129. Checking Trace Equivalence: How to Get Rid of Nonces?

Author

Chrétien, Rémy, Cortier, Véronique, Delaune, Stéphanie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Pernul, Günther, editor, Y A Ryan, Peter, editor, and Weippl, Edgar, editor

Published
2015
Full Text
View/download PDF

130. Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Author

Fröschle, Sibylle, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor

Published
2015
Full Text
View/download PDF

131. Verifying Parameterized Timed Security Protocols

Author

Li, Li, Sun, Jun, Liu, Yang, Dong, Jin Song, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bjørner, Nikolaj, editor, and de Boer, Frank, editor

Published
2015
Full Text
View/download PDF

132. A Framework for Analyzing Verifiability in Traditional and Electronic Exams

Author

Dreier, Jannik, Giustolisi, Rosario, Kassem, Ali, Lafourcade, Pascal, Lenzini, Gabriele, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lopez, Javier, editor, and Wu, Yongdong, editor

Published
2015
Full Text
View/download PDF

133. Automatic Verification for Later-Correspondence of Security Protocols

Author

Xie, Xiaofei, Li, Xiaohong, Liu, Yang, Li, Li, Feng, Ruitao, Feng, Zhiyong, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2015
Full Text
View/download PDF

134. Secure Improved Cloud-Based RFID Authentication Protocol

Author

Abughazalah, Sarah, Markantonakis, Konstantinos, Mayes, Keith, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Garcia-Alfaro, Joaquin, editor, Herrera-Joancomartí, Jordi, editor, Lupu, Emil, editor, Posegga, Joachim, editor, Aldini, Alessandro, editor, Martinelli, Fabio, editor, and Suri, Neeraj, editor

Published
2015
Full Text
View/download PDF

135. SSMCI:verification mechanism for security protocols centered on the attacker

Author

Wen GU, Ji-hong HAN, and Lin YUAN

Subjects
security protocol, attacker model, state expansion, Telecommunication, TK5101-6720
Abstract

A automatic verification mechanism for security protocols analysis was proposed.The attacker model was proposed and the concept of ‘need’ was defined,a knowledge set which was necessary for the attacker to compose a target message term but unknown to the attacker.The attacker model was established as needed.The mechanism centered on the attacker was designed,in which whether add a protocol session was determined by the attacker.This might cause contradiction in time sequence,so some back-track algorithm was adopted to solve this contradiction.Experiments show that the system can verify the security of the protocol,and the number of state space is slightly better than the Scyther tool.

Published
2017
Full Text
View/download PDF

136. A Privacy-Preserving Mutual Authentication Resisting DoS Attacks in VANETs

Author

Cong Sun, Jiao Liu, Xinpeng Xu, and Jianfeng Ma

Subjects
Authentication, privacy, denial-of-service attack, security protocol, vehicular ad hoc networks, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Abstract

Providing efficient anonymous authentication in vehicular ad hoc networks (VANETs) is a challenging issue. Identity-based signature schemes have been used to provide privacy-preserving authentication effectively for VANETs. In such scenario, mutual authentication between vehicles is critical to ensure only legitimate vehicles can involve in the inter-vehicle communication, and how to resist denial-of-service attack should be carefully addressed due to the regionally central signature verification in vehicle-road-side communications. In this paper, we propose a conditional privacy-preserving mutual authentication framework with denial-of-service attack resistance called MADAR. The authentication framework combines different identity-based signature schemes and distinguishes inner-region and cross-region authentications to increase efficiency. Beyond the privacy preservation and non-repudiation achieved by the existing framework, our authentication framework provides asymmetric inter-vehicle mutual authentication and strength-alterable computational DoS-attack resistance. We have formally proved the privacy preservation, unlinkability, mutual authenticity, and correctness of pseudonym with ProVerif, and analyzed other security objectives. The performance evaluations are conducted and the results demonstrate that our framework can achieve these security objectives with moderate computation and communication overheads.

Published
2017
Full Text
View/download PDF

139. A Novel Design of Flexible Crypto Coprocessor and Its Application

Author

Ni, Shice, Dou, Yong, Chen, Kai, Deng, Lin, Junqueira Barbosa, Simone Diniz, editor, Chen, Phoebe, editor, Cuzzocrea, Alfredo, editor, Du, Xiaoyong, editor, Filipe, Joaquim, editor, Kara, Orhun, editor, Kotenko, Igor, editor, Sivalingam, Krishna M., editor, Ślęzak, Dominik, editor, Washio, Takashi, editor, Yang, Xiaokang, editor, Wu, Junjie, editor, Chen, Haibo, editor, and Wang, Xingwei, editor

Published
2014
Full Text
View/download PDF

143. Relay-Proof Channels Using UWB Lasers (Transcript of Discussion)

Author

Shafarenko, Alex, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

144. Blood in the Water (Transcript of Discussion)

Author

Clark, Sandy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

145. Blood in the Water : Are there Honeymoon Effects Outside Software?

Author

Clark, Sandy, Blaze, Matt, Smith, Jonathan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

146. Caught in the Maze of Security Standards (Transcript of Discussion)

Author

Gollmann, Dieter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

147. Security Design in Human Computation Games (Transcript of Discussion)

Author

Yan, Jeff, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

148. Security Protocols for Secret Santa (Transcript of Discussion)

Author

Mauw, Sjouke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

149. Virtually Perfect Democracy

Author

Bella, Giampaolo, Ryan, Peter Y. A., Teague, Vanessa, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

150. It’s the Anthropology, Stupid! (Transcript of Discussion)

Author

Anderson, Ross, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Christianson, Bruce, editor, and Malcolm, James, editor

Published
2014
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results