800 search results - page 56 / 160 » XML access control using static analysis |
226
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
119
Voted
IJFCS
2007
15 years 3 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
141
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
128
Voted
POLICY
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
145
click to vote
PLDI
1993
ACM
15 years 7 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...