3003 search results - page 405 / 601 » Software Security: Building Security In |
136
click to vote
TC
1998
15 years 4 months ago
1998
—The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communication, and group-based distributed a...
129
Voted
JCS
2011
15 years 1 hour ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
121
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
164
click to vote
CANS
2011
Springer
14 years 5 months ago
2011
Springer
In this paper, we explore fast algorithms for computing on encrypted polynomials. More specifically, we describe efficient algorithms for computing the Discrete Fourier Transform,...
170
Voted
FGR
2008
IEEE
15 years 11 months ago
2008
IEEE
One prediction about this future of pervasive technology is that people will carry the tools needed to interface with technological resources sprinkled through out the environment...