3811 search results - page 177 / 763 » The Safe-Tcl Security Model |
158
click to vote
WETICE
2006
IEEE
16 years 15 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
179
click to vote
SACMAT
2005
ACM
16 years 2 days ago
2005
ACM
We investigate a generalization of the notion of XML security view introduced by Stoica and Farkas [17] and later refined by Fan et al. [8]. The model consists of access control ...
153
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
191
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
175
click to vote
PAIRING
2010
Springer
15 years 4 months ago
2010
Springer
Lewko and Waters [Eurocrypt 2010] presented a fully secure HIBE with short ciphertexts. In this paper we show how to modify their construction to achieve anonymity. We prove the s...