Talk:Burrows–Abadi–Needham logic: Difference between revisions

Content deleted Content added

Inline

Revision as of 17:01, 14 April 2012

Cryptography: Computer science C‑class High‑importance

	This article is within the scope of WikiProject Cryptography, a collaborative effort to improve the coverage of Cryptography on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.CryptographyWikipedia:WikiProject CryptographyTemplate:WikiProject CryptographyCryptography
C	This article has been rated as C-class on Wikipedia's content assessment scale.
High	This article has been rated as High-importance on the importance scale.
	This article is supported by WikiProject Computer science (assessed as High-importance).

Untitled

I've replaced one line with TeX. More of the same is needed in this article. Michael Hardy 01:25 Mar 29, 2003 (UTC)

I agree, and the reason I didn't go ahead with it in the first place is that I knew I was going to need to experiment with TeX itself to figure out the right ways to manufacture the various glyphs. Until then, I think the use of English words is acceptable. Dominus 00:02 Apr 5, 2003 (UTC)

Sorry about the link to one of my own peer-reviewed papers, but it is I think the simplest one justifying that BAN is decidable. David.Monniaux 17:06, 30 Jul 2004 (UTC)

Seems good to me (!); I've moved it into a references section. — Matt 09:35, 4 Aug 2004 (UTC)

Eh?

...one weakness of BAN logic: the lack of a good semantics with a clear meaning in terms of knowledge and possible universes.

Erk...can someone reword this with a slightly clearer meaning?— Matt 09:39, 4 Aug 2004 (UTC)

Yes, I'm on it.

Intro

I've rewritten the intro. I look forward to feedback. --Davidstrauss 19:13, 29 July 2006 (UTC)[reply]

External links

Source: The Burrows-Abadi-Needham logic The link is dead as of (see sig/timestamp)--Bah23 13:01, 19 January 2007 (UTC)[reply]

Citeseer moved from NEC to PSU. I fixed the link. --Dominus 19:57, 19 January 2007 (UTC)[reply]

Revision as of 07:19, 10 September 2010 edit SmackBot (talk \| contribs) 3,734,324 edits m Date maintenance tags and general fixes: build 514: ← Previous edit		Revision as of 17:01, 14 April 2012 edit undo Nageh (talk \| contribs) Pending changes reviewers, Rollbackers 6,862 edits m WikiProject Cryptography assessment Next edit →
Line 1:		Line 1:
			{{WikiProject Cryptography\|class=C\|importance=High}}

	{{Technical\|date=September 2010}}		{{Technical\|date=September 2010}}