Formal Analysis of the CORBA CSIv 2 Security Protocol

Abstract

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

Topics

  • Presentations referencing similar topics