Re: Is there a formal specification for honeypots/nets?

[Valdis.Kletnieks () vt edu]

On Sat, 18 Oct 2003 13:55:56 +0330, Mahdi samadi <samadi () cabinet amnafzar com>  said:
> I have one question, Is there any formal specification for honeypots/nets?

The theoretical types assign a specific meaning to "formal specification" to
mean things like BNF (Backus-Naur Form) for description of the syntax/semantics
of a system (another good example is the programming language APL - originally
developed as a descriptive language for the IBM S/360 hardware). As such, it is
probably impossible to write a formal specification of a honeypot, as a
honeypot includes things like "why".  Nobody has managed to make a formal
specification of human motivations (and it will be a sad day for the poets if
it ever comes to pass).

> have you done this work? 
> Tell me if you have done it, 

If you're willing to settle for an English-language *definition* of a honeypot rather
than a formal specification, the archives of this list has several threads about it
(including a rather lengthy one around May 20-25 2003).

Attachment: _bin
Description: