3544 search results - page 274 / 709 » Information Security in Open Systems |
135
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
RSA is the most popular public-key cryptosystem on the Web today but long-term trends such as the proliferation of smaller, simpler devices and increasing security needs will make...
157
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
193
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
159
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
312
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...