181 search results - page 27 / 37 » An Information Flow Tool for Gypsy |
98
Voted
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
98
Voted
DAC
2007
ACM
15 years 4 months ago
2007
ACM
Using FPGAs, a designer can separate the design process from the manufacturing flow. Therefore, the owner of a sensitive design need not expose the design to possible theft and ta...
113
click to vote
AVI
2004
15 years 1 months ago
2004
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...