What is a formal definition of strong one-time-secure signatures?

What is a formal definition of strong one-time-secure signatures?

I know the Lamport's scheme is one of them, but what is the global definition of it?

• @dingrite: Actually, I would disagree that Lamport is always the "best"; a Winternitz signature is often better (significantly shorter, at the cost of some computation) – poncho Dec 16 '17 at 21:30

2. The adversary sends the simulator a message $m$. The simulator signs the message and sends the signature $\sigma$ to the adversary.
3. The adversary outputs his forgery $(m',\sigma')$.
The adversary wins if $\sigma'$ is a valid signature on $m'$ and $(m',\sigma') \not= (m,\sigma)$.