14850 search results - page 2652 / 2970 » The Security of |
182
Voted
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
As the complexity and application scope of agent-based systems increases, the requirements placed on Agent Communication Languages have also increased with it. Currently-available...
166
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
We explore the execution of queries with client-site userdefined functions (UDFs). Many UDFs can only be executed at the client site, for reasons of scalability, security, confide...
190
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a mechanism for inter-process communication (IPC) redirection that enables efficient and flexible access control for micro-kernel systems. In such systems, services are...
155
click to vote
ICEIS
1999
IEEE
15 years 11 months ago
1999
IEEE
: Filtering software is the most commonly used to protect children and young people from illegal and harmful contents on the Internet. Most of this software blocks access to Intern...
190
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...