1875 search results - page 48 / 375 » Modeling the Security of Steganographic Systems |
SUTC
2008
IEEE
14 years 5 months ago
2008
IEEE
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
SP
2000
IEEE
14 years 3 months ago
2000
IEEE
This position paper addresses some of the benefits and drawbacks for security of open access to source code. After a discussion of alternative models for open access to source cod...
CAI
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
SAC
2004
ACM
14 years 4 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
LCPC
2004
Springer
14 years 4 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...