2162 search results - page 317 / 433 » A Meta-Notation for Protocol Analysis |
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Advanced information retrieval systems providing automated assistance offer the opportunity to greatly enhance the effectiveness of the information retrieval process. One issue in...
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...
117
click to vote
PKDD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Analysis of privacy-sensitive data in a multi-party environment often assumes that the parties are well-behaved and they abide by the protocols. Parties compute whatever ...
DEXAW
2006
IEEE
15 years 4 months ago
2006
IEEE
With the growth and acceptance of the Internet, there has been increased interest in maintaining anonymity in the network. Using traffic analysis, it is possible to infer who is t...