Policy-enforced linking of untrusted components

Authors:
Eunyoung Lee;Andrew W. Appe
Affiliations:
Princeton University, Princeton, NJ;Princeton University, Princeton, NJ
Venue:
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Year:
2003

A framework for defining logics

Journal of the ACM (JACM)
Proof-carrying authentication

CCS '99 Proceedings of the 6th ACM conference on Computer and communications security
Secure Composition of Insecure Components

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Secure linking: a logical framework for policy-enforced component composition

Secure linking: a logical framework for policy-enforced component composition

Hi-index	0.00