107 search results - page 19 / 22 » Securing Mobile Agents for Electronic Commerce: An Experimen... |
CSFW
1999
IEEE
13 years 11 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
CHES
2006
Springer
13 years 11 months ago
2006
Springer
The generation of prime numbers underlies the use of most public-key cryptosystems, essentially as a primitive needed for the creation of RSA key pairs. Surprisingly enough, despit...
INFORMATICALT
2002
13 years 7 months ago
2002
The amount of products and services available over the Internet increases significantly and it soon becomes beyond users ability to analyze and compare them. At the same time the n...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
AGENTS
2001
Springer
2001
Springer
AgentSalon: facilitating face-to-face knowledge exchange through conversations among personal agents
13 years 12 months ago
This paper presents a system called AgentSalon, which facilitates face-to-face knowledge exchange and discussion by people having shared interests, in museums, schools, offices, a...