3811 search results - page 466 / 763 » The Safe-Tcl Security Model |
202
click to vote
IJWIS
2007
15 years 6 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
182
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
172
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applicahis paper describes the design of these abstractions and their imp...
160
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...