3811 search results - page 194 / 763 » The Safe-Tcl Security Model |
185
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
We present a model of evolution of large social networks. Our model is based on the local nature of communication: a node's communication energy is spend mostly within it'...
163
click to vote
TCS
2010
15 years 1 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
178
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
145
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
216
click to vote
JNW
2008
15 years 5 months ago
2008
The rapid growth of the Internet has triggered an explosion in the number of applications that leverage its capabilities. Unfortunately, many are designed to burden o infrastructur...