3811 search results - page 681 / 763 » The Safe-Tcl Security Model |
169
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
152
click to vote
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
163
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We examine covert channels in privacy-enhanced mobile identification devices where the devices uniquely identify themselves to an authorized verifier. Such devices (e.g. RFID tags)...
187
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
175
click to vote
DBSEC
2006
15 years 7 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...