Architectural refinement and notions of intransitive noninterference.

Ron van der Meyden

Published in: Formal Aspects Comput. (2012)

Keyphrases

software architecture
security policies
refinement process
data structure
architectural design
social networks
real world
image processing
multiscale
search algorithm
digital libraries