A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

Foundations of Security, Protocols, and Equational Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19052-1_13 ◽

2019 ◽

pp. 192-213 ◽

Cited By ~ 3

Author(s):

Musab A. Alturki ◽

Tajana Ban Kirigin ◽

Max Kanovich ◽

Vivek Nigam ◽

Andre Scedrov ◽

...

Keyword(s):

Security Protocols

Download Full-text

A Systematic Review of Security Protocols for Ubiquitous Wireless Networks

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse/sv7i5/0266 ◽

2017 ◽

Vol 7 (5) ◽

pp. 290-297

Author(s):

Manas Kumar Yogi ◽

◽

L. Yamuna ◽

P. Surayanka ◽

◽

...

Keyword(s):

Systematic Review ◽

Wireless Networks ◽

Security Protocols

Download Full-text

Towards a Standard for a Reliable Execution Environment for Security Protocols

Journal of Science and Technology Issue on Information and Communications Technology ◽

10.31130/jst.2016.31 ◽

2016 ◽

Vol 2 (1) ◽

pp. 78

Author(s):

Mahalingam Ramkumar

Keyword(s):

Information Systems ◽

Full Advantage ◽

Real World ◽

Security Protocols ◽

Low Complexity ◽

High Integrity ◽

Execution Environment ◽

World Information ◽

Digital Assets ◽

Attack Models

Approaches for securing digital assets of information systems can be classified as active approaches based on attack models, and passive approaches based on system-models. Passive approaches are inherently superior to active ones. However, taking full advantage of passive approaches calls for a rigorous standard for a low-complexity-high-integrity execution environment for security protocols. We sketch broad outlines of mirror network (MN) modules, as a candidate for such a standard. Their utility in assuring real-world information systems is illustrated with examples.

Download Full-text

Evaluation of Algorithms and Security Protocols to Mitigate the Risks in Commercial Transactions carried out by Public Companies

2020 Asia Conference on Computers and Communications (ACCC) ◽

10.1109/accc51160.2020.9347892 ◽

2020 ◽

Author(s):

Segundo Moises Toapanta Toapanta ◽

Luis Enrique Mafla Gallegos ◽

Alex Enrique Aranda Alvarado ◽

Maximo Prado Solis

Keyword(s):

Security Protocols ◽

Public Companies

Download Full-text

Survey of Security Protocols and Vulnerabilities in Unmanned Aerial Vehicles

IEEE Access ◽

10.1109/access.2021.3066778 ◽

2021 ◽

pp. 1-1

Author(s):

Arslan Shafique ◽

Abid Mehmood ◽

Mourad Elhadef

Keyword(s):

Unmanned Aerial Vehicles ◽

Security Protocols ◽

Aerial Vehicles

Download Full-text

From Security Protocols to Pushdown Automata

ACM Transactions on Computational Logic ◽

10.1145/2811262 ◽

2015 ◽

Vol 17 (1) ◽

pp. 1-45 ◽

Cited By ~ 6

Author(s):

Rémy Chrétien ◽

Véronique Cortier ◽

Stéphanie Delaune

Keyword(s):

Security Protocols ◽

Pushdown Automata

Download Full-text

IMSC-EIoTD: Identity Management and Secure Communication for Edge IoT Devices

Sensors ◽

10.3390/s20226546 ◽

2020 ◽

Vol 20 (22) ◽

pp. 6546

Author(s):

Kazi Masum Sadique ◽

Rahim Rahmani ◽

Paul Johannesson

Keyword(s):

Secure Communication ◽

Identity Management ◽

Security Protocols ◽

Spin Model ◽

The Internet ◽

Human Society ◽

Proposed Model ◽

Authentication And Authorization ◽

Quality Of Living ◽

Iot Devices

The Internet of things (IoT) will accommodate several billions of devices to the Internet to enhance human society as well as to improve the quality of living. A huge number of sensors, actuators, gateways, servers, and related end-user applications will be connected to the Internet. All these entities require identities to communicate with each other. The communicating devices may have mobility and currently, the only main identity solution is IP based identity management which is not suitable for the authentication and authorization of the heterogeneous IoT devices. Sometimes devices and applications need to communicate in real-time to make decisions within very short times. Most of the recently proposed solutions for identity management are cloud-based. Those cloud-based identity management solutions are not feasible for heterogeneous IoT devices. In this paper, we have proposed an edge-fog based decentralized identity management and authentication solution for IoT devices (IoTD) and edge IoT gateways (EIoTG). We have also presented a secure communication protocol for communication between edge IoT devices and edge IoT gateways. The proposed security protocols are verified using Scyther formal verification tool, which is a popular tool for automated verification of security protocols. The proposed model is specified using the PROMELA language. SPIN model checker is used to confirm the specification of the proposed model. The results show different message flows without any error.

Download Full-text