2335 search results - page 31 / 467 » Securing Distributed Systems with Information Flow Control |
137
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
122
click to vote
IJNSEC
2007
15 years 1 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
125
click to vote
HPCA
2006
IEEE
16 years 1 months ago
2006
IEEE
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information c...
111
click to vote
CRITIS
2008
15 years 3 months ago
2008
Abstract. The paper presents a set of control system scenarios implemented in two testbeds developed in the context of the European Project CRUTIAL - CRitical UTility Infrastructur...
109
click to vote
SIGMOD
2010
ACM
14 years 11 months ago
2010
ACM
More and more important data is accumulated inside social networks. Limiting the flow of private information across a social network is very important, and most social networks pr...