160 search results - page 5 / 32 » Secure Information Flow in Mobile Bootstrapping Process |
IFIP
2009
Springer
14 years 14 hour 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...
CSFW
2002
IEEE
14 years 11 days 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
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 ...
ACSAC
2006
IEEE
14 years 1 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
13 years 9 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...