160 search results - page 5 / 32 » Secure Information Flow in Mobile Bootstrapping Process |
85
Voted
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
87
Voted
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
MOBISYS
2003
ACM
15 years 9 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 ...
93
Voted
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
NSDI
2008
14 years 12 months ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...