Security protocol notation: Revision history

22 August 2023

• curprev 15:4715:47, 22 August 2023‎ Citation bot talk contribs‎ 4,049 bytes +44‎ Alter: title, template type. Add: chapter-url, series, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

2 September 2022

• curprev 20:0420:04, 2 September 2022‎ Pngdeity talk contribs‎ 4,005 bytes −1‎ No edit summary undo Tag: 2017 wikitext editor

3 June 2022

• curprev 05:3505:35, 3 June 2022‎ Lowellian talk contribs‎ 4,006 bytes −26‎ that's not a weasel word; that's the "we" of academic language commonly used in mathematical and scientific papers undo

14 January 2022

• curprev 16:0016:00, 14 January 2022‎ AnomieBOT talk contribs‎ m 4,032 bytes +36‎ Dating maintenance tags: {{Who?}} {{How?}} undo
• curprev 15:4015:40, 14 January 2022‎ GhostInTheMachine talk contribs‎ 3,996 bytes +16‎ Minor CE needed undo
• curprev 15:3415:34, 14 January 2022‎ GhostInTheMachine talk contribs‎ 3,980 bytes −65‎ Changing short description from "Way of expressing protocol(s) corresponding between entities of dynamic systems, such as computer networks" to "Way of expressing communication protocols" (Shortdesc helper) undo

12 January 2022

• curprev 19:1919:19, 12 January 2022‎ Prs.mrc talk contribs‎ m 4,045 bytes +110‎ Relation to choreographic programming undo Tag: 2017 wikitext editor
• curprev 18:2318:23, 12 January 2022‎ TheUsernameIWanted talk contribs‎ 3,935 bytes −1‎ No edit summary undo
• curprev 17:5717:57, 12 January 2022‎ CrafterNova talk contribs‎ 3,936 bytes −4‎ Changing short description from "Way of expressing protocol(s) of correspondence between entities of dynamic systems, such as computer networks" to "Way of expressing protocol(s) corresponding between entities of dynamic systems, such as computer networks" (Shortdesc helper) undo
• curprev 17:5617:56, 12 January 2022‎ CrafterNova talk contribs‎ 3,940 bytes +133‎ Adding local short description: "Way of expressing protocol(s) of correspondence between entities of dynamic systems, such as computer networks", overriding Wikidata description "a way of expressing a protocol of correspondence between entities of a dynamic system, such as a computer network. In the context of a formal model, it allows reasoning about the properties of such a system" (Shortdesc helper) undo

13 January 2021

• curprev 14:0214:02, 13 January 2021‎ Monkbot talk contribs‎ m 3,807 bytes +3‎ Task 18 (cosmetic): eval 4 templates: hyphenate params (3×); undo Tag: AWB

13 July 2020

• curprev 01:1501:15, 13 July 2020‎ GreenC bot talk contribs‎ 3,804 bytes +118‎ Reformat 2 archive links. Wayback Medic 2.5 undo

18 June 2020

• curprev 23:1723:17, 18 June 2020‎ 50.34.80.71 talk‎ 3,686 bytes +44‎ fixed broken URL undo

7 April 2020

• curprev 17:5317:53, 7 April 2020‎ Citation bot talk contribs‎ 3,642 bytes +118‎ Add: isbn, bibcode, doi, pages, volume, journal. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | Activated by Zppix | Category:Cryptography stubs‎ | via #UCB_Category undo

25 August 2016

• curprev 20:0720:07, 25 August 2016‎ Sietse Snel talk contribs‎ m 3,524 bytes +32‎ fix deprecated reference tag undo

5 June 2016

• curprev 20:4720:47, 5 June 2016‎ Dcirovic talk contribs‎ m 3,492 bytes −11‎ refs using AWB undo

5 February 2016

• curprev 11:2011:20, 5 February 2016‎ Biscuittin talk contribs‎ 3,503 bytes −12‎ add cat undo

28 January 2016

• curprev 00:4500:45, 28 January 2016‎ Bearcat talk contribs‎ m 3,515 bytes +38‎ →‎References: categorization/tagging using AWB undo

1 January 2016

• curprev 06:3906:39, 1 January 2016‎ Risc64 talk contribs‎ 3,477 bytes −38‎ →‎References: not a protocol undo

14 March 2015

• curprev 16:2016:20, 14 March 2015‎ 178.155.144.130 talk‎ 3,515 bytes +322‎ Added other known names for "Protocol notation" undo

10 March 2015

• curprev 14:0314:03, 10 March 2015‎ Klk206 talk contribs‎ 3,193 bytes +49‎ Improved typesetting of the formulas and removed unnecessary indices. undo

29 January 2014

• curprev 21:5421:54, 29 January 2014‎ Monkbot talk contribs‎ m 3,144 bytes −14‎ Fix CS1 deprecated date parameter errors undo

23 March 2013

• curprev 05:1805:18, 23 March 2013‎ Addbot talk contribs‎ m 3,158 bytes −41‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7445064 undo

11 June 2012

• curprev 04:2504:25, 11 June 2012‎ 150.101.19.41 talk‎ 3,199 bytes −1‎ See page 9 here: http://www.cl.cam.ac.uk/~rja14/Papers/SE-01.pdf undo

3 June 2011

• curprev 09:2209:22, 3 June 2011‎ Cydebot talk contribs‎ m 3,200 bytes −54‎ Robot - Removing category Articles with Alice and Bob explanations per CFD at Wikipedia:Categories for discussion/Log/2011 May 16. undo

14 December 2010

• curprev 16:1816:18, 14 December 2010‎ 129.16.24.244 talk‎ 3,254 bytes +3‎ No edit summary undo

19 March 2010

• curprev 17:1417:14, 19 March 2010‎ 129.31.206.70 talk‎ 3,251 bytes +1‎ No edit summary undo

22 December 2009

• curprev 19:4819:48, 22 December 2009‎ RjwilmsiBot talk contribs‎ m 3,250 bytes +2‎ fixing page range dashes using Project:AWB undo

10 June 2009

• curprev 12:0312:03, 10 June 2009‎ Josephholsten talk contribs‎ 3,248 bytes +1,043‎ more kerberos notation sources undo
• curprev 10:3310:33, 10 June 2009‎ Josephholsten talk contribs‎ 2,205 bytes +357‎ add a source undo

9 April 2009

• curprev 12:2812:28, 9 April 2009‎ Gareth Jones talk contribs‎ m 1,848 bytes +21‎ added "In cryptography" to opening of article undo

19 January 2009

• curprev 19:0219:02, 19 January 2009‎ Julesd talk contribs‎ m 1,827 bytes 0‎ No edit summary undo

4 April 2008

• curprev 16:1216:12, 4 April 2008‎ 169.236.112.175 talk‎ 1,827 bytes +7‎ No edit summary undo

23 March 2008

• curprev 00:5700:57, 23 March 2008‎ Leobold1 talk contribs‎ 1,820 bytes +54‎ Added category undo

6 October 2006

• curprev 08:5208:52, 6 October 2006‎ Cascremers talk contribs‎ 1,766 bytes +63‎ (1) The notation itself is not a formal model, revised text to show this. (2) BAN logic is one example of many methods. undo

20 September 2006

• curprev 14:4114:41, 20 September 2006‎ Gwern talk contribs‎ m 1,703 bytes +33‎ Robot-assisted disambiguation (you can help!): Nonce undo

31 August 2006

• curprev 03:4003:40, 31 August 2006‎ 203.160.1.47 talk‎ 1,670 bytes +41‎ interwiki undo

18 December 2005

• curprev 16:0016:00, 18 December 2005‎ Neiko talk contribs‎ m 1,629 bytes +2‎ Message should be encrypted with Alice's public key. undo

3 November 2005

• curprev 06:5106:51, 3 November 2005‎ RobyWayne talk contribs‎ m 1,627 bytes −17‎ cleanup wiki link to computer network undo
• curprev 06:5106:51, 3 November 2005‎ RobyWayne talk contribs‎ m 1,644 bytes +17‎ Bot-assisted manual disambiguation of Network. (You can help!) undo

18 October 2005

• curprev 20:0220:02, 18 October 2005‎ 131.239.47.251 talk‎ 1,627 bytes +11‎ No edit summary undo

24 April 2005

• curprev 21:4421:44, 24 April 2005‎ 205.234.156.168 talk‎ 1,616 bytes −1‎ corrected spelling error (uusing) undo

14 April 2005

• curprev 07:1407:14, 14 April 2005‎ Thv talk contribs‎ 1,617 bytes +230‎ added another example undo

5 March 2005

• curprev 22:3922:39, 5 March 2005‎ RJFJR talk contribs‎ m 1,387 bytes +7‎ stub to crypto-stub undo

29 January 2005

• curprev 11:1011:10, 29 January 2005‎ Sam Hocevar talk contribs‎ m 1,380 bytes 0‎ spelling undo

6 January 2005

• curprev 04:1804:18, 6 January 2005‎ Wandie talk contribs‎ m 1,380 bytes +14‎ No edit summary undo

18 November 2004

• curprev 03:5403:54, 18 November 2004‎ Arvindn talk contribs‎ 1,366 bytes +405‎ expand undo

1 July 2004

• curprev 12:4812:48, 1 July 2004‎ Matt Crypto talk contribs‎ m 961 bytes −4‎ cat undo

22 June 2004

• curprev 22:2522:25, 22 June 2004‎ Yaronf talk contribs‎ m 965 bytes +11‎ recategorize undo

21 June 2004

• curprev 12:2712:27, 21 June 2004‎ Sverdrup talk contribs‎ m 954 bytes +15‎ Category:Cryptography undo