5255 search results - page 448 / 1051 » Formal Methods for Privacy |
152
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
One protocol (called the primary protocol) is independent of other protocols (jointly called the secondary protocol) if the question whether the primary protocol achieves a securi...
162
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
184
Voted
ACISP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...
170
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes a novel method of achieving load balancing in telecommunications networks. A simulated network models a typical distribution of calls between arbitrary nodes;...
152
click to vote
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
Hardware Trojans in integrated circuits and systems have become serious concern to fabless semiconductor industry and government agencies in recent years. Most of the previously p...