Back to Search
Start Over
A Design for a Security-Typed Language with Certificate-Based Declassification
- Source :
- Programming Languages and Systems ISBN: 9783540254355, ESOP
- Publication Year :
- 2005
- Publisher :
- Springer Berlin Heidelberg, 2005.
-
Abstract
- This paper presents a calculus that supports information-flow security policies and certificate-based declassification. The decentralized label model and its downgrading mechanisms are concisely expressed in the polymorphic lambda calculus with subtyping (System F≽). We prove a conditioned version of the noninterference theorem such that authorization for declassification is justified by digital certificates from public-key infrastructures.
- Subjects :
- Public key certificate
business.industry
Computer science
Authorization
Security policy
Certificate
Computer security
computer.software_genre
Subtyping
Public-key cryptography
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Declassification
Lambda calculus
business
computer
computer.programming_language
Subjects
Details
- ISBN :
- 978-3-540-25435-5
- ISBNs :
- 9783540254355
- Database :
- OpenAIRE
- Journal :
- Programming Languages and Systems ISBN: 9783540254355, ESOP
- Accession number :
- edsair.doi...........3a30557ad8587360f05697e28eff2ceb