This is TeX, C Version 3.141 (format=lplain 93.4.3)  26 OCT 1994 18:16
**secure-pos2
(secure-pos2.tex
LaTeX Version 2.09 <25 March 1992>
(/usr/local/lib/tex/inputs/article.sty
Standard Document Style `article' <14 Jan 92>.
(/usr/local/lib/tex/inputs/art10.sty)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
) (/usr/local/lib/tex/inputs/epsf.sty
\epsffilein=\read1
\epsfxsize=\dimen99
\epsfysize=\dimen100
\epsftsize=\dimen101
\epsfrsize=\dimen102
\epsftmp=\dimen103
\pspoints=\dimen104
)
(wicsbook.sty
\mathindent=\dimen105
) (secure-pos2.aux) [1

] [2] [3] [4] [5] [6]
Warning: Font/shape `cmtt/bx/n ' undefined on input line 400.
Warning: Using `cmtt/m/n' instead on input line 400.
[7] [8]
Overfull \hbox (3.24721pt too wide) in paragraph at lines 560--560
 [] \cmtt/bx/n/10 prove(B <:Ok by :By(B) s :T(B) c :credential.T) :Identity(B)[
] 

\hbox(6.94444+2.22223)x342.0
.\glue(\leftskip) 25.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\cmtt/bx/n/10 p
.etc.

[9] [10] [11]
Overfull \hbox (3.61057pt too wide) in paragraph at lines 746--752
[]\cmr/m/n/10 For all se-cu-rity rel-e-vant func-tions \cmtt/bx/n/10 f \cmr/m/n
/10 in \cmtt/bx/n/10 Person \cmr/m/n/10 the com-po-nent \cmtt/bx/n/10 SecurePer
sons

\hbox(6.94444+1.94444)x342.0, glue set - 1.0
.\hbox(0.0+0.0)x15.0
.\cmr/m/n/10 F
.\kern-0.83334
.\cmr/m/n/10 o
.\cmr/m/n/10 r
.etc.

[12] [13] [14] [15] [16] (secure-pos2.bbl [17] [18]) [19] (secure-pos2.aux) ) 
Here is how much of TeX's memory you used:
 337 strings out of 11800
 3213 string characters out of 75019
 34481 words of memory out of 262141
 2452 multiletter control sequences out of 9500
 13529 words of font info for 52 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 16i,7n,17p,199b,202s stack positions out of 300i,40n,60p,3000b,4000s

Output written on secure-pos2.dvi (19 pages, 67372 bytes).