Slide 1SDL: A Protocol Specification Language Anandi Giridharan Department of Electrical Communication Engineering Indian Institute of Science Bangalore – 560012, India…