62 search results - page 12 / 13 » Classical Knowledge for Quantum Security |
CCS
2004
ACM
15 years 3 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
STORAGESS
2005
ACM
15 years 3 months ago
2005
ACM
The growing number of storage security breaches as well as the need to adhere to government regulations is driving the need for greater storage protection. However, there is the l...
SDM
2007
SIAM
14 years 11 months ago
2007
SIAM
Abnormal events, such as security attacks, misconfigurations, or electricity failures, could have severe consequences toward the normal operation of the Border Gateway Protocol (...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
The sophistication of computer malware is becoming a serious threat to the information technology infrastructure, which is the backbone of modern e-commerce systems. We, therefore...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Network coding substantially increases network throughput. But since it involves mixing of information inside the network, a single corrupted packet generated by a mali...