1949 search results - page 130 / 390 » Protective Interface Specifications |
122
click to vote
DBSEC
2001
15 years 3 months ago
2001
In this paper, our objective is to define a security model for regulating access to XML documents. Our model offers a security policy with a great expressive power. An XML documen...
116
click to vote
ECSCW
2001
15 years 3 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
WSS
2001
15 years 3 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
100
Voted
DBSEC
2000
15 years 3 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
132
Voted
DBSEC
2010
15 years 1 months ago
2010
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...