5488 search results - page 322 / 1098 » On the Secure Implementation of Security Protocols |
137
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
143
click to vote
AINA
2005
IEEE
16 years 10 days ago
2005
IEEE
In recent years, security in MANET is anticipated as the pre-establishment of specific information among the participating nodes, so that the future communications can be secured ...
198
click to vote
ACMICEC
2003
ACM
15 years 12 months ago
2003
ACM
A multi-agent marketplace, MAGNET (Multi AGent Negotiation Testbed), is a promising solution to conduct online combinatorial auctions. The trust model of MAGNET is somewhat diffe...
176
click to vote
WS
2003
ACM
15 years 12 months ago
2003
ACM
Intermediary-based services and performance optimizations are increasingly being considered, by network service providers, with a view towards offering value-added services and i...
180
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...