2486 search results - page 144 / 498 » A Type System for Computationally Secure Information Flow |
SASO
2007
IEEE
14 years 3 months ago
2007
IEEE
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormo...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
ESORICS
2011
Springer
12 years 8 months ago
2011
Springer
The rapid progress of human genome studies leads to a strong demand of aggregate human DNA data (e.g, allele frequencies, test statistics, etc.), whose public dissemination, howeve...
IWIA
2006
IEEE
14 years 3 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
IDTRUST
2010
ACM
13 years 7 months ago
2010
ACM
Public Key technology is about multiple parties across different domains making assertions that can be chained together to make trust judgments. Today, the need for more interoper...