Architectural Refinement and Notions of Intransitive Noninterference.

Ron van der Meyden

Published in: ESSoS (2009)

Keyphrases

software architecture
architectural design
security policies
formal definitions
database
neural network
computational properties
query refinement
refinement process
refinement step
data sets
search engine
natural language