Design and implementation of a tool for analyzing SELinux secure policy.

Gaoshou Zhai Wenlin Ma Minli Tian Na Yang Chengyu Liu Hengsheng Yang

Published in: ICIS (2009)

Keyphrases

implementation issues
efficient implementation
design process
circuit design
hardware design
modeling tool
architectural model
power consumption
engineering design
design decisions
design tools
security analysis
design considerations
rapid prototyping
high level synthesis
parallel distributed