S. Shenoi

Publication List Details

Period

1989 - 2007

Number

50

Co-Authors

An Environment for Developing Securely Interoperable Heterogeneous Distributed Objects (1997)

M. Berryman, C. Rummel, M. Papa, J. Threet, S. Shenoi, John Hale

lements a capability-based security model Theorems Theorems Mumbo Robust Object Calculus (ROC) ROC Mechanization into HOL Distributed Applications Distributed App MOM Theorems ROC Theorems Meta...

An Environment for Developing Securely Interoperable Heterogeneous Distributed Objects (1970)

M. Berryman, C. Rummel, M. Papa, J. Threet, S. Shenoi, John Hale

implements a capability-based securitymodel Theorems Theorems Mumbo Robust Object Calculus (ROC) ROC Mechanization into HOL Distributed Applications Distributed App MOM Theorems ROC Theorems Meta...