6 search results - page 2 / 2 » An Elimination Method for Solving Bivariate Polynomial Syste... |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...