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

Stephen Tse Steve Zdancewic

Published in: ESOP (2005)

Keyphrases

user interface
functional requirements
case study
neural network
information systems
natural language
higher order
language learning
design principles
network security
target language
public key infrastructure