1154 search results - page 81 / 231 » Making Self-organizing Systems Secure |
144
click to vote
CSFW
1995
IEEE
15 years 5 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
104
click to vote
PDPTA
2004
15 years 2 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
102
click to vote
COMSUR
2000
15 years 1 months ago
2000
Trust is an important aspect of decision making for Internet applications and particularly influences the specification of security policy i.e. who is authorised to perform action...
100
click to vote
HPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Firewalls and network address translators (NATs) cause significant connectivity problems along with benefits such as network protection and easy address planning. Connectivity pro...
130
click to vote
P2P
2003
IEEE
15 years 6 months ago
2003
IEEE
Decentralized Peer to Peer (P2P) networks offer both opportunities and threats. Its open and decentralized nature makes it extremely susceptible to malicious users spreading harmf...