741 search results - page 106 / 149 » Verification of security protocols using LOTOS-method and ap... |
171
click to vote
ICN
2009
Springer
15 years 8 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...
175
click to vote
PKDD
2007
Springer
15 years 10 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 ...
165
click to vote
JIPS
2007
15 years 3 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...
132
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...
136
click to vote
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Two-party Secure Function Evaluation (SFE) is a very useful cryptographic tool which allows two parties to evaluate a function known to both parties on their private (sec...