14824 search results - page 2616 / 2965 » Security - Introduction |
121
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
105
Voted
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
Audit logs are considered good practice for business systems, and are required by federal regulations for secure systems, drug approval data, medical information disclosure, fina...
132
Voted
WWIC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
129
Voted
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
Recent advances in virtualization technologies have sparked a renewed interest in the use of kernel and process virtualization as a security mechanism to enforce resource isolatio...
136
Voted
IUI
2010
ACM
15 years 8 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...