2486 search results - page 57 / 498 » A Type System for Computationally Secure Information Flow |
BMCBI
2010
13 years 8 months ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...
FAST
2009
13 years 6 months ago
2009
As increasing amounts of valuable information are produced and persist digitally, the ability to determine the origin of data becomes important. In science, medicine, commerce, an...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Without trust, most prudent business operators and clients may decide to forgo use of the Internet and revert back to traditional methods of doing business. To counter this trend,...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...