2610 search results - page 368 / 522 » Computational Probabilistic Non-interference |
139
click to vote
TGC
2007
Springer
16 years 15 days 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...
197
click to vote
ESCIENCE
2006
IEEE
16 years 13 days 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...
184
click to vote
WPES
2006
ACM
16 years 10 days 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...
191
click to vote
ISPD
2005
ACM
15 years 12 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...
187
click to vote
SAC
2004
ACM
15 years 11 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 ...