1286 search results - page 54 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
146
click to vote
IJCAI
2003
15 years 6 months ago
2003
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
145
click to vote
POLICY
2009
Springer
16 years 14 hour ago
2009
Springer
—There are increasing capabilities and demands for the remote monitoring of homes and their occupants. There are a variety of options for the architecture of such monitoring syst...
191
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
166
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
166
click to vote
LADC
2007
Springer
15 years 11 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...