378 search results - page 4 / 76 » Information Flow Analysis for VHDL |
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
We present HyperFlow, a novel visual language for information analysis that combines features from visual dataflow and visual query languages into a unified framework. HyperFlow i...
BPSC
2010
13 years 5 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
BPSC
2009
13 years 8 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
CSREASAM
2009
13 years 8 months ago
2009
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Although RBAC provides flexible mechanisms to control the access to information, it do...