339 search results - page 7 / 68 » Abstracting Interactions Based on Message Sets |
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
EUROCRYPT
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We consider the problem of sending messages into the future." Previous constructions for this task were either based on heuristic assumptions or did not provide anon...
WWW
2004
ACM
14 years 7 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
CSFW
2012
IEEE
11 years 9 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...