848 search results - page 49 / 170 » Secure Information Flow for Distributed Systems |
UTP
2010
14 years 9 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...
112
click to vote
P2P
2007
IEEE
15 years 6 months ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...
GPC
2007
Springer
15 years 3 months ago
2007
Springer
g Service Oriented Abstractions for the Wireless Sensor Grid Edgardo Aviles-Lopez, J. Antonio Garcia-Macias Implementation of OSD Security Framework and Credential Cache Gu Su Kim,...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...
124
click to vote
ACSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
The efficiency of promptly releasing security alerts of established analysis centers has been greatly challenged by the continuous emergence of various large scale network attack...