3420 search results - page 35 / 684 » A Language-Based Approach to Security |
SIS
2007
13 years 11 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
APNOMS
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we propose a new approach to secure and easy-to-use remote access to networked appliances (NAs). Based on the proposed approach, we develop a system in which servers...
ASM
2005
ASM
14 years 3 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
We know how to build secure systems but for security measures to be truly effective it is necessary to use keys which are far too large for people to commit to memory. The consequ...