3821 search results - page 572 / 765 » A Security Model for Aglets |
185
click to vote
ICFEM
2007
Springer
16 years 23 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
138
click to vote
WECWIS
2005
IEEE
16 years 5 days ago
2005
IEEE
Traditionally, the process of online digital content distribution has involved a limited number of centralised distributors selling protected contents and licenses authorising the...
208
click to vote
WORDS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
209
click to vote
GCC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
154
click to vote
IFIP
2005
Springer
16 years 3 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...