Jump to content

Protocol composition logic: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 11:1411:14, 9 June 2025 OAbot talk contribs m 1,475 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 16:3616:36, 8 May 2025 Tioaeu8943 talk contribs 1,458 bytes +5 desc wording undo Tag: Shortdesc helper
curprev 16:3516:35, 8 May 2025 Tioaeu8943 talk contribs 1,453 bytes +74 Adding short description: "Method to prove security of cryptographic protocols" undo Tag: Shortdesc helper
curprev 16:3316:33, 8 May 2025 Tioaeu8943 talk contribs 1,379 bytes +6 bold article name undo Tag: Visual edit

curprev 06:1006:10, 20 December 2024 Aadirulez8 talk contribs m 1,373 bytes −17 v2.05 - Auto / Fix errors for CW project (Link equal to linktext) undo Tag: WPCleaner

curprev 10:5010:50, 4 April 2024 Citation bot talk contribs 1,390 bytes +5 Altered date. Add: authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Category:CS1 errors: dates | #UCB_Category 55/324 undo

curprev 17:0417:04, 2 April 2024 Scfreiburg09 talk contribs m 1,385 bytes 0 No edit summary undo Tag: Visual edit
curprev 16:5916:59, 2 April 2024 Scfreiburg09 talk contribs 1,385 bytes +444 Copyediting and marked as stub undo Tag: Visual edit

curprev 04:3304:33, 5 December 2021 Stesmo talk contribs 941 bytes −131 →External links: Pruned EL links per WP:EL undo Tag: Visual edit

curprev 15:0615:06, 5 October 2020 Citation bot talk contribs 1,072 bytes +174 Alter: title, template type. Add: s2cid, isbn, arxiv, page, chapter. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox3 | via #UCB_webform_linked undo

curprev 10:5310:53, 14 December 2016 Kasper.laursen talk contribs 898 bytes +277 Criticism + citation undo

curprev 07:4207:42, 24 August 2016 Yobot talk contribs m 621 bytes −15 clean up / fix section header naming (WP:ASL) using AWB undo

curprev 04:0004:00, 17 November 2014 66.92.86.179 talk 636 bytes −52 drop obsolete tags, add background heading undo
curprev 03:5503:55, 17 November 2014 66.92.86.179 talk 688 bytes +131 added external links undo

curprev 22:5922:59, 7 August 2012 Hajatvrc talk contribs m 557 bytes −1 clean up, typos fixed: , → , using AWB undo

curprev 23:2123:21, 21 January 2011 Yobot talk contribs m 558 bytes −20 Updating {{Multiple issues}} + general fixes using AWB (7565) undo

curprev 23:3023:30, 15 September 2010 Yobot talk contribs m 578 bytes −13 Removing obsolote parameters from template + WP:CHECKWIKI error fixes + genfixes, replaced: article issues → Multiple issues using AWB (7131) undo

curprev 15:2715:27, 11 April 2010 Yobot talk contribs m 591 bytes −21 Auto-tagging, removed wikify tag using AWB undo

curprev 22:2322:23, 18 October 2009 MuffledThud talk contribs m 612 bytes −8 Quick-adding category Cryptography; removed {{uncategorized}} (using HotCat) undo
curprev 20:1420:14, 18 October 2009 Katharineamy talk contribs m 620 bytes +59 Adding a few internal links from an online link suggesting tool. undo
curprev 10:4010:40, 18 October 2009 Miyagawa talk contribs 561 bytes +41 clean up, added wikify tag, added orphan tag using AWB undo

curprev 23:0123:01, 16 October 2009 Fabrictramp talk contribs m 520 bytes +136 Added {{article issues}} with parameters deadend, expand and unreferenced {{uncategorized}} tag to article. using Friendly undo

curprev 06:3506:35, 11 October 2009 Prabhuhari talk contribs 384 bytes +229 No edit summary undo
curprev 06:3206:32, 11 October 2009 Prabhuhari talk contribs 155 bytes +155 ←Created page with 'Protocol Composition Logic is a formal method that is used for proving security properties of protocols that use symmetric key and Public key cryptography.'

Retrieved from "https://en.wikipedia.org/wiki/Protocol_composition_logic"