2335 search results - page 21 / 467 » Securing Distributed Systems with Information Flow Control |
119
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
FCT
2005
Springer
15 years 7 months ago
2005
Springer
109
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
A Distributed Information Brokering System (DIBS) is a peer-to-peer overlay network that comprises diverse data servers and brokering components helping client queries locate the ...
138
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
121
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...