106 search results - page 2 / 22 » Modelling Mobility Aspects of Security Policies |
CCS
2000
ACM
13 years 9 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
JCS
2002
13 years 5 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
IEEEARES
2008
IEEE
13 years 12 months ago
2008
IEEE
The Security-by-Contract (S×C) framework has been recently proposed to address the trust relationship problem of the current security model adopted for mobile devices. The key id...