Re: Formal verification tools

From: Pavel (pavel.ocenasek_at_centrum.cz)
Date: 05/23/03

Next message: Doug Fox: "BIOS and Hard Drive Passwords - Are they effective security approaches?"
Previous message: Pavel: "Formal verification tools"
In reply to: Pavel: "Formal verification tools"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Date: Fri, 23 May 2003 03:22:08 +0200

I meant some of the following (or also other) verification tools: NRL
protocol analyzer, Interrogator, BAN logic analyzing, theorem-proving
analyzing tools etc.

Next message: Doug Fox: "BIOS and Hard Drive Passwords - Are they effective security approaches?"
Previous message: Pavel: "Formal verification tools"
In reply to: Pavel: "Formal verification tools"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]