18094 search results - page 114 / 3619 » The Architecture of Secure Systems |
105
click to vote
PERCOM
2008
ACM
15 years 11 months ago
2008
ACM
Recent advances in peer-to-peer (P2P) technologies will enable users to establish ubiquitous connectivity among their personal networked devices and those of others. Building on t...
CISIS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
104
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
83
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...