106 search results - page 10 / 22 » Modelling Mobility Aspects of Security Policies |
ASM
2010
ASM
14 years 2 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
WOA
2000
13 years 8 months ago
2000
The Mobile Agent (MA) paradigm seems able to support effectively distributed applications in open and heterogeneous environments, and application areas such as ecommerce appear to...
VLDB
1993
ACM
13 years 11 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
JUCS
2010
13 years 2 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
DMS
2010
13 years 5 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...