\relax \@writefile{toc}{\contentsline {chapter}{\numberline {7}Message Flow Networks}{20}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{messageflow}{{7}{20}} \@writefile{toc}{\contentsline {section}{\numberline {7.1}The basic message flow design}{20}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}Assumptions}{20}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}Message flow}{20}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}Repleneshing the flow}{20}} \@writefile{toc}{\contentsline {section}{\numberline {7.2}Security Analysis}{21}} \@writefile{toc}{\contentsline {section}{\numberline {7.3}Pragmatics}{21}} \@writefile{toc}{\contentsline {section}{\numberline {7.4}Application Notes}{21}} \@setckpt{messageflow}{ \setcounter{page}{22} \setcounter{equation}{0} \setcounter{enumi}{0} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} \setcounter{footnote}{0} \setcounter{mpfootnote}{0} \setcounter{part}{0} \setcounter{chapter}{7} \setcounter{section}{4} \setcounter{subsection}{0} \setcounter{subsubsection}{0} \setcounter{paragraph}{0} \setcounter{subparagraph}{0} \setcounter{figure}{0} \setcounter{table}{0} }