Amanote Research
Register
Sign In
Complexity of Fairness Constraints for the Dolev-Yao Attacker Model
doi 10.1145/1982185.1982507
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Jan Cederquist
Mohammad Torabi Dashti
Publisher
ACM Press
Related search
Dolev-Yao Is No Better Than Machiavelli
Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Key-Dependent Message Security Under Active Attacks – BRSIM/UC-soundness of Dolev–Yao-Style Encryption With Key Cycles
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Proportional and Maxmin Fairness for the Sensor Location Problem With Chance Constraints
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Quantification of Fairness Bias by a Fairness-Equity Model
BMC Neuroscience
Neuroscience
Cellular
Molecular Neuroscience
Channel Aware Scheduling for Broadcast MIMO Systems With Orthogonal Linear Precoding and Fairness Constraints
The Complexity of the Dirichlet Model for Multiple Alignment Data
Journal of Computational Biology
Genetics
Molecular Biology
Computational Theory
Simulation
Computational Mathematics
Mathematics
Modeling
Joint Downlink Base Station Association and Power Control for Max-Min Fairness: Computation and Complexity
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Pattern Analytical Module for EDOS Attacker Recognition
IOSR Journal of Computer Engineering
