378 search results - page 53 / 76 » Information Flow Analysis for VHDL |
JIPS
2007
13 years 8 months ago
2007
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadv...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
APVIS
2001
13 years 10 months ago
2001
Tacit knowledge has long been recognised, however its research has focused largely on who is more likely to have this store of knowledge, rather than taking this one step further ...
ESORICS
2008
Springer
13 years 10 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...
DSN
2004
IEEE
14 years 13 days ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...