2486 search results - page 62 / 498 » A Type System for Computationally Secure Information Flow |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
RTA
2010
Springer
13 years 7 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
FTDCS
1997
IEEE
14 years 29 days ago
1997
IEEE
: Security is a very important aspect of distributed computing systems, especially in distributed information environments involving widearea networks, such as internets. In this p...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Users generally have difficulty understanding and managing computer security tasks. We examined Nintendo's Brain Age games for ways to help users remember more secure passwor...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
IT Security is a problem that can only be addressed and taught holistically. Just as broad as the field of ICT itself, IT Security is an integral part of all network and software ...