1286 search results - page 65 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
109
click to vote
IEEEARES
2007
IEEE
15 years 9 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
121
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the most serious security threats in the Internet are Distributed Denial of Service ( DDoS) attacks, due to the significant service disruption they can create and the di...
148
click to vote
ANSS
1996
IEEE
15 years 7 months ago
1996
IEEE
The asymptotic bias and variance are important determinants of the quality of a simulation run. In particular, the asymptotic bias can be used to approximate the bias introduced b...
116
click to vote
ENTCS
2007
15 years 3 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
168
click to vote
BIOSIG
2009
15 years 1 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...