800 search results - page 44 / 160 » XML access control using static analysis |
131
click to vote
FAC
2010
15 years 2 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
125
Voted
WER
2007
Springer
15 years 9 months ago
2007
Springer
Role-Based Access Control (RBAC) is increasingly used for ensuring security and privacy in complex organizations such as healthcare institutions. In RBAC, access permissions are g...
172
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
132
Voted
ENTCS
2010
14 years 10 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
153
Voted
VLSID
2010
IEEE
15 years 7 months ago
2010
IEEE
A novel design approach for simultaneous power and stability (static noise margin, SNM) optimization of nanoCMOS static random access memory (SRAM) is presented. A 45nm single-end...