3811 search results - page 387 / 763 » The Safe-Tcl Security Model |
189
click to vote
LCN
2000
IEEE
15 years 11 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
185
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
161
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
209
click to vote
DBSEC
2006
15 years 8 months ago
2006
Most state-of-the-art approaches of securing XML documents are based on a partial annotation of an XML tree with security labels which are later propagated to unlabeled nodes of th...
197
click to vote
MSR
2010
ACM
15 years 8 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...