160 search results - page 6 / 32 » Secure Information Flow in Mobile Bootstrapping Process |
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
IEEESCC
2008
IEEE
14 years 1 months ago
2008
IEEE
Current web service platforms (WSPs) often perform all web services-related processing, including securitysensitive information handling, in the same protection domain. Consequent...
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...