3504 search results - page 408 / 701 » Secure protocol composition |
130
Voted
PODC
2004
ACM
15 years 8 months ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
103
Voted
APPROX
2007
Springer
15 years 8 months ago
2007
Springer
We study the two party problem of randomly selecting a string among all the strings of length n. We want the protocol to have the property that the output distribution has high en...
102
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
124
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
135
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...