11 search results - page 3 / 3 » Using conjugate symmetries to enhance gate-level simulations |
182
click to vote
COMPSEC
2010
15 years 6 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...