429 search results - page 61 / 86 » Compositionality of Secure Information Flow |
LCN
2006
IEEE
14 years 2 months ago
2006
IEEE
Network monitoring is a major building block for many domains in communication networks. Besides typical accounting mechanisms and the emerging area of charging in next generation...
DRM
2005
Springer
14 years 1 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
DAC
2007
ACM
13 years 12 months ago
2007
ACM
Using FPGAs, a designer can separate the design process from the manufacturing flow. Therefore, the owner of a sensitive design need not expose the design to possible theft and ta...
UTP
2010
13 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
CHI
2010
ACM
13 years 11 months ago
2010
ACM
Implantable medical devices (IMDs) improve patients' quality of life and help sustain their lives. In this study, we explore patient views and values regarding their devices ...