5252 search results - page 86 / 1051 » Logic in Access Control |
147
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
162
click to vote
SACMAT
2005
ACM
15 years 11 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
292
click to vote
SACMAT
2011
ACM
14 years 8 months ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
239
click to vote
ADC
2009
Springer
16 years 23 hour ago
2009
Springer
This paper presents a model for privacy preserving access control which is based on variety of purposes. Conditional purpose is applied along with allowed purpose and prohibited p...
191
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
— There has been much recent interest in protocol design for wireless networks based on maximizing a network utility function. A significant advance in recent years is the obser...