Preprint

Article

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

This version is not peer-reviewed.

Agnieszka M. Zbrzezny^*,

Olga Siedlecka-Lamch,

Sabina Szymoniak

,

Andrzej Zbrzezny

,Mirosław Kurkowski

Agnieszka M. Zbrzezny^*,

Olga Siedlecka-Lamch,

Sabina Szymoniak

,

Andrzej Zbrzezny

,Mirosław Kurkowski

This version is not peer-reviewed.

Downloads

58

Views

34

Comments

0

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

MDPI Initiatives

Important Links

Subscribe

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

© 2025 MDPI (Basel, Switzerland) unless otherwise stated

Disclaimer

© 2025 MDPI (Basel, Switzerland) unless otherwise stated