3811 search results - page 522 / 763 » The Safe-Tcl Security Model |
155
click to vote
CSREASAM
2006
15 years 8 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
218
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
161
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
157
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Currently knownbasic anonymitytechniques dependon identity veri cation. If veri cation of user identities is not possible due to the related management overhead or a gene...
201
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
The cryptosystem recently proposed by Cramer and Shoup [CS98] is a practical public key cryptosystem that is secure against adaptive chosen ciphertext attack provided the Decision...