6527 search results - page 55 / 1306 » On Typing Information Flow |
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
PACT
2005
Springer
14 years 1 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
APWEB
2005
Springer
14 years 1 months ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
MOBISYS
2003
ACM
14 years 7 months ago
2003
ACM
Due to node mobility and limitations on bandwidth availability in wireless channels, there exist unique challenges towards achieving efficient and effective information access in ...
ESORICS
2009
Springer
13 years 11 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...