3811 search results - page 140 / 763 » The Safe-Tcl Security Model |
189
click to vote
WER
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
190
click to vote
INDOCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The recently introduced Galois/Counter Mode (GCM) of operation for block ciphers provides both encryption and message authentication, using universal hashing based on mul...
194
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
