212 search results - page 13 / 43 » A Formal Model for Trust in Dynamic Networks |
156
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
156
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
149
click to vote
IJSN
2008
15 years 5 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
170
click to vote
ESORICS
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
166
click to vote
FMICS
2009
Springer
16 years 2 days ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...