3115 search results - page 498 / 623 » Synthesizing Secure Protocols |
199
click to vote
ACISICIS
2008
IEEE
16 years 7 days ago
2008
IEEE
In recent years, many Mobile Payment (MP) schemes have been proposed and used in practise. However, a prerequisite for extended acceptance and adoption of MP technologies is to de...
124
click to vote
CONCUR
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
133
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— As the commercial success of the IEEE 802.11 protocol has made wireless infrastructure widely deployed, user organizations are increasingly concerned about the new vulnerabilit...
148
click to vote
IPTPS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract— P6P is a new, incrementally deployable networking infrastructure that resolves the growing tensions between the Internet routing infrastructure and the end sites of the...
165
click to vote
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
Ensuring authenticity and integrity are important tasks when dealing with goods. While in the past seal wax was used to ensure the integrity, electronic devices are now able to tak...