BMC4TimeSec: Verification of Timed Security Protocols

StatusVoR
Simple item page
dc.abstract.enWe 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.
dc.affiliationKatedra Informatyki
dc.affiliationWydział Projektowania w Warszawie
dc.conference25th International Conference on Autonomous Agents and Multiagent Systems
dc.conference.countryCypr
dc.conference.datefinish2026-05-29
dc.conference.datestart2026-05-25
dc.conference.placePaphos
dc.conference.seriesInternational Joint Conference on Autonomous Agents and Multiagent Systems
dc.conference.seriesshortcutAAMAS
dc.conference.seriesweblinkhttps://www.ifaamas.org/
dc.conference.shortcutAAMAS 2026
dc.conference.weblinkhttps://cyprusconferences.org/aamas2026/
dc.contributor.authorZbrzezny, Agnieszka
dc.contributor.editorMascardi, Vivian
dc.contributor.editorThangarajah, John
dc.date.access2026-05-24
dc.date.accessioned2026-06-15T13:09:09Z
dc.date.available2026-06-15T13:09:09Z
dc.date.created2026-05-24
dc.date.issued2026-05-24
dc.description.accesstimeat_publication
dc.description.grantnumber4008-A1-09
dc.description.physical4173-4175
dc.description.sdgIndustryInnovationAndInfrastructure
dc.description.sdgPeaceJusticeAndStrongInstitutions
dc.description.versionfinal_published
dc.identifier.doi10.65109/URZB3421
dc.identifier.isbn9798400723179
dc.identifier.urihttps://share.swps.edu.pl/handle/swps/2410
dc.languageen
dc.pbn.affiliationinformatyka techniczna i telekomunikacja
dc.pbn.affiliationinformatyka
dc.publisher.ministerialInternational Foundation for Autonomous Agents and Multiagent Systems
dc.relation.bookProceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems
dc.relation.pages4196
dc.rightsCC-BY
dc.rights.questionYes_rights
dc.share.monoOTHER
dc.subject.enTimed Security Protocols
dc.subject.enTimed Interpreted Systems
dc.subject.enVerification
dc.swps.sciencecloudsend
dc.titleBMC4TimeSec: Verification of Timed Security Protocols
dc.typeMonographyChapterConference
dspace.entity.typeBook