2610 search results - page 368 / 522 » Computational Probabilistic Non-interference |
109
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
163
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Effective scheduling in large-scale computational grids is challenging because it requires tracking the dynamic state of the large number of distributed resources that comprise th...
142
Voted
WPES
2006
ACM
15 years 9 months ago
2006
ACM
Oblivious submission to anonymity systems is a process by which a message may be submitted in such a way that neither the anonymity network nor a global passive adversary may dete...
157
Voted
ISPD
2005
ACM
15 years 9 months ago
2005
ACM
The sustained progress of VLSI technology has altered the landscape of routing which is a major physical design stage. For timing driven routings, traditional approaches which con...
141
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...