A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Automatic verification of multi-agent systems security properties specified with LTL
2022
Proceedings of the ... International Florida Artificial Intelligence Research Society Conference
We propose a way to verify security requirements of critical multi-agent system processes by using logic representationsand automatic reasoning. The typical multi-agent system considered in our work would be an election system with agentsrepresenting their users and aiming to ensure security. Relevant processes are authentication, voting, re-voting, and election verification. The security requirements commonly addressed in such a voting system are: no user can vote unless it got authenticated,
doi:10.32473/flairs.v35i.130551
fatcat:vphuii6oxvhktkmj7nnv6yehsu