2486 search results - page 458 / 498 » A Type System for Computationally Secure Information Flow |
JDCTA
2010
13 years 3 months ago
2010
Unwanted traffic injection which amplifies the traffic loading and exhausts network resources is counted as network security threat. Despite of the numerous protection systems, th...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents the design and implementation of XenSocket, a UNIX-domain-socket-like construct for high-throughput interdomain (VM-to-VM) communication on the same system. The...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
PCRCW
1997
Springer
14 years 25 days ago
1997
Springer
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...