Email Gateway (Aug 18 2022 at 11:55): Email Gateway (Aug 18 2022 at 11:55):From: li yongjian <lyj238@gmail.com>
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.
regards!
Yongjian Li
2008-05-23
Email Gateway (Aug 18 2022 at 11:55):From: Lawrence Paulson <lp15@cam.ac.uk>
The primary journal in the field of theorem proving is the Journal Of
Automated Reasoning. There is also the ACM Transactions On
Computational Logic. The Journal of Computer Security is not primarily
concerned with theorem proving.
Lawrence C Paulson
Professor of Computational Logic
Computer Laboratory, University of Cambridge
15 JJ Thomson Avenue, Cambridge CB3 0FD, England
Tel: +44(0)1223 334623 Fax: +44(0)1223 334678
Lawrence Paulson.vcf
Email Gateway (Aug 18 2022 at 11:56):From: li yongjian <lyj238@gmail.com>
Hi,
Could you please also introduce some journals that relates the
fielf of applying theorem proving technique to verfication of
hardware, security, software?
regards!
yjl
---------- Forwarded message ----------
From: Lawrence Paulson <lp15@cam.ac.uk>
Date: Fri, May 23, 2008 at 5:09 PM
Subject: Re: [isabelle] journals on theorem proving
To: li yongjian <lyj238@gmail.com>
Cc: cl-isabelle-users@lists.cam.ac.uk
The primary journal in the field of theorem proving is the Journal Of
Automated Reasoning. There is also the ACM Transactions On
Computational Logic. The Journal of Computer Security is not primarily
concerned with theorem proving.
Lawrence C Paulson
Professor of Computational Logic
Computer Laboratory, University of Cambridge
15 JJ Thomson Avenue, Cambridge CB3 0FD, England
Tel: +44(0)1223 334623 Fax: +44(0)1223 334678
On 23 May 2008, at 03:46, li yongjian wrote:
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.
regards!Yongjian Li
2008-05-23
Email Gateway (Aug 18 2022 at 11:56):From: Tobias Nipkow <nipkow@in.tum.de>
The Journal Of Automated Reasoning that Larry mentions addresses
verification, in particular of software (see the latest JAR issue) and
security (a special issue on security is in preparation).
Tobias
li yongjian wrote:
Email Gateway (Aug 18 2022 at 11:56):From: Behzad Akbarpour <Behzad.Akbarpour@cl.cam.ac.uk>
You can consider Formal Methods in System Design (FMSD), and Journal of
Applied Logic (JAL) as examples.
Behzad
Last updated: May 03 2024 at 08:18 UTC