3115 search results - page 243 / 623 » Synthesizing Secure Protocols |
132
click to vote
FC
2007
Springer
15 years 11 months ago
2007
Springer
While transparency in financial markets should enhance liquidity, its exploitation by unethical and parasitic traders discourages others from fully embracing disclosure of their o...
170
click to vote
ICICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
151
Voted
INDOCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Certified e-mail is a value-added service for standard e-mail systems, in which the intended recipient gets the mail content if and only if the mail originator receives a non-repud...
165
click to vote
DFN
2004
15 years 7 months ago
2004
: Ubiquitous worldwide broadband Internet access as well the coming of age of VoIP technology have made Voice-over-IP an increasingly attractive and useful network application. Cur...
146
click to vote
IJACT
2010
15 years 11 days ago
2010
: We study the interplay of network connectivity and the issues related to the `possibility', `feasibility' and `optimality' for unconditionally reliable message tra...