2846 search results - page 58 / 570 » Not one click for security |
139
click to vote
FIS
2010
15 years 5 months ago
2010
Publish/Subscribe is often regarded as a promising paradigm for Future Internet architectures. Its information oriented nature and its particular security features have stimulated ...
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
145
click to vote
JSS
2010
15 years 2 months ago
2010
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
143
click to vote
TRUSTBUS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Current challenges on the markets cause companies to interact with one another and strive after becoming members of virtual organizations assuming that in doing so they c...
141
click to vote
IJNSEC
2010
14 years 11 months ago
2010
Secure networks rely upon players to maintain security and reliability. However not every player can be assumed to have total loyalty and one must use methods to uncover traitors ...