Analysis for Real-time Intransitive Information Flow Security Properties.

Yong Huang Lingdi Ping Shanping Li Xuezeng Pan

Published in: J. Softw. (2009)

Keyphrases

information flow
real time
flow analysis
security properties
communication networks
social networks
knowledge management
formal model
public key