🍫Proving security definition references

A challenger and an adversary A are used in a Gedankenexperiment for describing multisignature scheme security as follows.