Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols

Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols

This article introduces a new method for modelling and verifying the execution of timed security protocols (TSPs) and their time-dependent security properties. The method, which is novel and reliable, uses an extension of interpreted systems, accessible semantics in multi-agent systems, and timed in...

Full description

Saved in:
Bibliographic Details
Main Authors: Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski
Format: Article
Language:English
Published: MDPI AG 2024-11-01
Series:Applied Sciences
Subjects:
timed security protocols
multi-agent systems
timed interpreted systems
bounded model checking
satisfiability modulo theories
Online Access:https://www.mdpi.com/2076-3417/14/22/10333
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://www.mdpi.com/2076-3417/14/22/10333

Similar Items