429 search results - page 58 / 86 » Compositionality of Secure Information Flow |
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
With rapid advances in online technologies, organizations are migrating from paper based resources to digital documents to achieve high responsiveness and ease of management. Thes...
DAC
2008
ACM
13 years 9 months ago
2008
ACM
Security of MPSoCs is an emerging area of concern in embedded systems. Security is jeopardized by code injection attacks, which are the most common types of software attacks. Prev...
KIVS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Secure Content Addressable Network (SCAN) is an architecture for service discovery in service centric sensor networks that enables dynamic service composition. This paper...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...