Language-based security: Revision history

19 May 2025

• curprev 14:2314:23, 19 May 2025 Pcento talk contribs 16,589 bytes +121 →Further reading undo

18 May 2025

• curprev 21:5721:57, 18 May 2025 Pcento talk contribs 16,468 bytes +106 No edit summary undo
• curprev 21:5421:54, 18 May 2025 Pcento talk contribs 16,362 bytes +251 →Further reading undo
• curprev 21:4921:49, 18 May 2025 Pcento talk contribs m 16,111 bytes +199 →Further reading undo

21 November 2024

• curprev 14:0914:09, 21 November 2024 AnnaBSP talk contribs 15,912 bytes +7 No edit summary undo Tag: Visual edit

5 January 2022

• curprev 18:3418:34, 5 January 2022 Dewritech talk contribs m 15,905 bytes +9 →top: clean up, typo(s) fixed: ’s → 's undo Tag: AWB

12 July 2021

• curprev 21:2221:22, 12 July 2021 Jarble talk contribs m 15,896 bytes +4 link bounds checking using Find link undo

1 November 2020

• curprev 10:2810:28, 1 November 2020 Citation bot talk contribs 15,892 bytes −21 Alter: url. URLs might have been internationalized/anonymized. Add: isbn. Correct ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 2768/3157 undo

31 August 2019

• curprev 23:0223:02, 31 August 2019 Jarble talk contribs 15,913 bytes +113 adding links to references using Google Scholar undo

26 March 2019

• curprev 14:5114:51, 26 March 2019 2001:6b0:4f:2801:9e2a:d47d:766a:f89f talk 15,800 bytes +1 fixed a typo undo

16 November 2018

• curprev 09:1509:15, 16 November 2018 81.221.243.218 talk 15,799 bytes −3 No edit summary undo

28 August 2018

• curprev 17:1817:18, 28 August 2018 AndrewCMyers talk contribs 15,802 bytes +533 Generalizing the notion of a security type system beyond information flow control. E.g., Jones and Liskov 1978 is a security type system for access control, and connecting to the semantic policy. undo

16 February 2018

• curprev 02:3402:34, 16 February 2018 69.26.74.42 talk 15,269 bytes +42 No edit summary undo

22 December 2015

• curprev 15:2915:29, 22 December 2015 TheresNoTime talk contribs m 15,227 bytes −1 spelling and general fixes, typo(s) fixed: et al → et al. (2), , → , using AWB undo

7 February 2015

• curprev 21:3321:33, 7 February 2015 RevelationDirect talk contribs 15,228 bytes −4 added Category:Computer security; removed {{uncategorized}} using HotCat undo

1 January 2015

• curprev 21:0621:06, 1 January 2015 37.189.25.80 talk 15,232 bytes −69 →Books undo

29 December 2014

• curprev 08:5708:57, 29 December 2014 Yobot talk contribs m 15,301 bytes −8 WPCleaner v1.34 - WP:WCW project (Unicode control characters) undo

19 December 2014

• curprev 07:2307:23, 19 December 2014 Bgwhite talk contribs m 15,309 bytes −40 ce undo

18 December 2014

• curprev 14:4614:46, 18 December 2014 Yobot talk contribs m 15,349 bytes −141 Removed invisible unicode characters + other fixes, added uncategorised tag using AWB (10524) undo
• curprev 08:5608:56, 18 December 2014 Kristianwlt talk contribs m 15,490 bytes +28 No edit summary undo

17 December 2014

• curprev 23:2923:29, 17 December 2014 Eyvindbull talk contribs m 15,462 bytes −1 →Proof-carrying Code undo
• curprev 23:1323:13, 17 December 2014 Kristianwlt talk contribs m 15,463 bytes 0 →Noninterference undo
• curprev 23:1023:10, 17 December 2014 Kristianwlt talk contribs 15,463 bytes +1,091 →Information flow analysis: Added part on noninterference undo
• curprev 23:0823:08, 17 December 2014 Eyvindbull talk contribs 14,372 bytes +1,609 Added 'information flow analysis' to the 'technique' section undo
• curprev 22:3922:39, 17 December 2014 Eyvindbull talk contribs m 12,763 bytes +180 Added one paper to 'further reading' undo
• curprev 21:2321:23, 17 December 2014 Eyvindbull talk contribs m 12,583 bytes +1 →Program analysis undo
• curprev 21:2221:22, 17 December 2014 Eyvindbull talk contribs m 12,582 bytes +617 Added 'program analysis' to the 'technique' section undo
• curprev 14:3114:31, 17 December 2014 Eyvindbull talk contribs m 11,965 bytes +49 citation edit undo
• curprev 13:5913:59, 17 December 2014 Eyvindbull talk contribs 11,916 bytes +259 No edit summary undo
• curprev 13:4613:46, 17 December 2014 Kristianwlt talk contribs 11,657 bytes −321 →Techniques: Removed paragraph on obfuscation as it is not relevant to LBS undo
• curprev 13:3913:39, 17 December 2014 Eyvindbull talk contribs 11,978 bytes +206 Edited references undo
• curprev 13:1613:16, 17 December 2014 Kristianwlt talk contribs m 11,772 bytes 0 →Papers undo
• curprev 13:1513:15, 17 December 2014 Kristianwlt talk contribs 11,772 bytes +160 →Papers: "Recent developments in low-level code" undo
• curprev 13:1313:13, 17 December 2014 Kristianwlt talk contribs m 11,612 bytes −1 →Securing low-level code undo
• curprev 13:1313:13, 17 December 2014 Kristianwlt talk contribs 11,613 bytes +2,782 →Techniques: Technique "Securing low-level code" added undo
• curprev 12:4012:40, 17 December 2014 Eyvindbull talk contribs 8,831 bytes +1,921 Added 'certifying compilation' to the 'technique' section undo
• curprev 09:4609:46, 17 December 2014 Eyvindbull talk contribs m 6,910 bytes 0 No edit summary undo
• curprev 09:4509:45, 17 December 2014 Eyvindbull talk contribs 6,910 bytes +620 No edit summary undo

16 December 2014

• curprev 18:5618:56, 16 December 2014 Kristianwlt talk contribs 6,290 bytes −87 Added links to this page in related Wikipedia-pages and removed some issues undo
• curprev 18:4418:44, 16 December 2014 Kristianwlt talk contribs m 6,377 bytes −15 →Objective of LBS: Updated figure in page undo
• curprev 18:0218:02, 16 December 2014 Kristianwlt talk contribs m 6,392 bytes −350 →Objective of LBS: Removed unnecessary paragraph and added links to other Wikipedia-articles undo

15 December 2014

• curprev 16:3316:33, 15 December 2014 Kristianwlt talk contribs m 6,742 bytes +136 Added links to existing wikipedia articles undo
• curprev 16:2516:25, 15 December 2014 Kristianwlt talk contribs m 6,606 bytes −14 →Motivation: Removed essy-like formulations undo
• curprev 11:0211:02, 15 December 2014 Kristianwlt talk contribs m 6,620 bytes +264 Updated references and added links to wikipedia-articles undo

13 December 2014

• curprev 23:2023:20, 13 December 2014 Anthony Appleyard talk contribs m 6,356 bytes 0 Anthony Appleyard moved page Language based security to Language-based security: Requested at WP:RM as uncontroversial (permalink) undo
• curprev 20:4920:49, 13 December 2014 Josve05a talk contribs m 6,356 bytes +12 clean up, added underlinked tag using AWB (10516) undo
• curprev 19:1319:13, 13 December 2014 Kristianwlt talk contribs m 6,344 bytes −71 Removed fixed issues undo
• curprev 19:1219:12, 13 December 2014 Kristianwlt talk contribs m 6,415 bytes +235 Added more sources of information undo
• curprev 19:0419:04, 13 December 2014 Kristianwlt talk contribs m 6,180 bytes +25 Inserted link undo
• curprev 19:0119:01, 13 December 2014 Kristianwlt talk contribs 6,155 bytes −1,237 Removed or edited certain parts of the text written in an "essay"-like manner. Also corrected some British-English to American-English undo