16 citations · 81 across the 17 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
A Declaration of Software Independence
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider +2
A voting system should not merely report the outcome: it should also provide sufficient evidence to convince reasonable observers that the reported outcome is correct. Many deploye…
cs.SE2010★ 16 cited
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
Ali N. Haidar, P. V. Coveney, Ali E. Abdallah +4
This paper attempts to accurately model security requirements for computational grid environments with particular focus on authentication. We introduce the Audited Credential Deleg…