3605 search results - page 474 / 721 » Securing Security Policies in Autonomic Computing Systems |
148
click to vote
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
161
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...
186
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
266
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
In many business scenarios, record matching is performed across different data sources with the aim of identifying common information shared among these sources. However such need...
117
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
In this paper we introduce a group-messaging interface that allows humans to efficiently interact with a group of agents through a hierarchical and customizable text protocol. Our...