Brief Announcement: Lower and Upper Bounds for Attacks on Authentication Protocols

Detailed presentations of these two bounds appeared separately.

Details on the lower bound.

Details on the upper bound.