Verifying Accountability for Unbounded Sets of Participants

Kevin Morio, Robert Künnemann

Little can be achieved in the design of security protocols without trusting at least some participants. This trust should be justified or, at the very least, subject to examination…