6555 search results - page 620 / 1311 » Secure attribute-based systems |
164
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
162
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
218
click to vote
ACISP
1997
Springer
15 years 11 months ago
1997
Springer
Denial of service attack is an attempt from any authorized or unauthorized entity to allocate resources excessively to prevent normal operation of the system. A method will be pres...
216
click to vote
OOPSLA
1993
Springer
15 years 11 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
179
click to vote
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...