8644 search results - page 140 / 1729 » On the Composition of Secure Systems |
196
click to vote
ASIASIM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
148
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
176
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—This paper presents a Secure Code Update (SCU) system for Wireless Sensor Networks (WSNs). This solution achieves different security goals. First, through a dedicated authentica...
204
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
128
click to vote
ENTCS
2007
15 years 6 months ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...