4

After a couple minutes in Google, I find that Leslie Lamport appears to be the first to talk about MitM analysis in terms of communication security.
The work was published in 1981, but there is evidence of his thoughts on the matter as early as 1979.
First published work describing the ideas: h...