577 search results - page 102 / 116 » Engineering Sufficiently Secure Computing |
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
DCOSS
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
ISSRE
2005
IEEE
15 years 3 months ago
2005
IEEE
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...
102
click to vote
POLICY
2004
Springer
15 years 2 months ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
ICS
2010
Tsinghua U.
15 years 2 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...