[isabelle] journals on theorem proving

Dear all:
  Recently, our library request us to provide some information on the
field of journals on theorem proving .

  Could you please provide some international journal
on theorem proving or security.

>From Larry's work on trace theory on security protocol, I know
Journal of computer security.

But could you please provide more, which either publish papers on
theorem proving or security, or theorem proving techniques or relating
the two things?

Thanks in advance.

Yongjian Li

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.