3811 search results - page 589 / 763 » The Safe-Tcl Security Model |
150
click to vote
SAFECOMP
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
209
click to vote
SPC
2005
Springer
16 years 11 hour ago
2005
Springer
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...
168
click to vote
ACNS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
167
click to vote
GISCIENCE
2004
Springer
15 years 12 months ago
2004
Springer
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
173
click to vote
ICDCIT
2004
Springer
15 years 12 months ago
2004
Springer
The need to securely share information on an ad-hoc basis between collaborating entities is increasingly becoming important. We propose a coalition based access control model (CBAC...