371 search results - page 47 / 75 » On the Modeling of Bell-LaPadula Security Policies Using RBA... |
207
click to vote
TDSC
2008
15 years 6 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
149
click to vote
HIPEAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
170
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
191
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
164
click to vote
IEEEARES
2006
IEEE
16 years 6 days ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...