Sign in

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

Stephen TseSteve 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