Attack and revision of an electronic auction protocol using OFMC - Księżopolski, Bogdan; Lafourcade, Pascal (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)