852 search results - page 146 / 171 » Model-Checking Access Control Policies |
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
ISM
2005
IEEE
14 years 2 months ago
2005
IEEE
The new IP Multimedia Subsystem (IMS) provides an overlay architecture for IP based core networks and enables the efficient provision of an open set of potentially highly integrat...
VIZSEC
2005
Springer
14 years 2 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
ITCC
2002
IEEE
14 years 1 months ago
2002
IEEE
While the persistent data of many advanced database applications, such as OLAP and scientific studies, are characterized by very high dimensionality, typical queries posed on thes...
SIGUCCS
2000
ACM
14 years 11 days ago
2000
ACM
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...