1795 search results - page 55 / 359 » Security Models and Information Flow |
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....
TVCG
2010
13 years 8 months ago
2010
—The process of visualization can be seen as a visual communication channel where the input to the channel is the raw data, and the output is the result of a visualization algori...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
PLDI
2012
ACM
12 years 2 days ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...