5475 search results - page 614 / 1095 » Model Driven Security |
165
click to vote
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
We present a very efficient multi-party computation protocol unconditionally secure against an active adversary. The security is maximal, i.e., active corruption of up to t < n/...
201
click to vote
CCS
2009
ACM
15 years 11 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...
204
click to vote
IADIS
2003
15 years 8 months ago
2003
Hypermedia systems (whether web sites or not) should support multilevel policiesm, offering different views and manipulation abilities of the same information to users with differ...
186
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
191
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...