BMC4TimeSec: Verification of Timed Security Protocols
BMC4TimeSec: Verification of Timed Security Protocols
StatusVoR
Alternative title
Authors
Zbrzezny, Agnieszka
Monograph
Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems
Monograph (alternative title)
Editor
Mascardi, Vivian
Thangarajah, John
Date
2026-05-24
Place of publication
Publisher
International Foundation for Autonomous Agents and Multiagent Systems
Journal title
Volume
Pages
4173-4175
ISSN
ISBN
9798400723179
eISBN
Series
Series number
ISSN of series
Weblink
Access date
2026-05-24
Remarks
Abstract PL
Abstract EN
We present BMC4TimeSec, an end-to-end tool for verifying TimedSecurity Protocols (TSP) based on SMT-based bounded model check-ing and multi-agent modelling in the form of Timed InterpretedSystems (TIS) and Timed Interleaved Interpreted Systems (TIIS). In BMC4TimeSec, TSP executions implement the TIS/TIIS envi-ronment (join actions, interleaving, delays, lifetimes), and knowl-edge automata implement the agents (evolution of participantknowledge, including the intruder). The code is publicly available on GitHub, as is a video demon-stration.
Abstract other
Keywords PL
Keywords EN
Timed Security Protocols
Timed Interpreted Systems
Verification
Timed Interpreted Systems
Verification
Keywords other
Conference edition name
25th International Conference on Autonomous Agents and Multiagent Systems
Conference place
Paphos
Start date
2026-05-25
Finish date
2026-05-29
Sustainable Development Goals
Exhibition title
Place of exhibition (institution)
Exhibition curator
Organisational Unit
Katedra Informatyki
Wydział Projektowania w Warszawie
Wydział Projektowania w Warszawie
Type
Version
Version of Record
License type
Funder
Time range from
Time range to
Contact person name
item.page.relation.dataset
Related publication
Related publication
Grant/project name
Grant number
4008-A1-09
Collections
Views
0Acquisition Date20.10.2022
Downloads
0Acquisition Date20.10.2022