Formal Analysis of the CORBA CSIv 2 Security Protocol


In this paper we look at reasoning about access control for distributed resources over CORBA. We analyze the CORBA CSIv2 protocol, which is the internationally accepted standard security protocol for CORBA distributed requests. We also introduce a logic for authentication and access control that supports reasoning about the principals in a distributed… (More)

1 Figure or Table


  • Presentations referencing similar topics