A Design for a Security-Typed Language with Certificate-Based Declassification

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_20 ◽

2005 ◽

pp. 279-294 ◽

Author(s):

Stephen Tse ◽

Steve Zdancewic

Download Full-text