2486 search results - page 94 / 498 » A Type System for Computationally Secure Information Flow |
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
A P2P currency can be a powerful tool for promoting exchanges in a trusted way that make use of under-utilized resources both in computer networks and in real life. There are thre...
STORAGESS
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we describe the design for the Pvault software, which is a personal data manager that stores and retrieves data from a remote untrusted data server securely. The maj...
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
Pervasive computing applications involve information flow across multiple organizations. Thus, any security breach in an application can have far-reaching consequences. However, ef...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
In examining software maintenance processes for improvement opportunities, an obvious choice is information flow. Obtaining accurate, up-to-date, and useful information about a sy...