3605 search results - page 447 / 721 » Securing Security Policies in Autonomic Computing Systems |
172
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
With the rise of cloud computing, it is increasingly attractive for end-users (organizations and individuals) to outsource the management of their data to a small number of larges...
173
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
This paper describes the design and implementation of a scheme for hiding information in translated natural language text, and presents experimental results using the implemented ...
160
click to vote
ICDCS
2005
IEEE
16 years 8 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
146
click to vote
JALC
2006
15 years 6 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
207
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
Higher Education Institutions are now spending a significant portion of their budget to implement and maintain modern Enterprise Resource Planning (ERP) solutions. ERP is a softwa...