User contributions
From JimboWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 18:21, 30 October 2008 (diff | hist) . . (+1,674) . . N MQP:Paper Outline (New page: *Introduction *Problem Description **Introduction to Java Security **Challenges in using Java Security **Other approaches to security? *Methods **Static Analysis ***Goals ***Algorithm **...) (current)
- 17:40, 30 October 2008 (diff | hist) . . (+48) . . MQP:Main
- 21:03, 30 September 2008 (diff | hist) . . (0) . . MQP:Mapping Back From Permissions (→Getting Action Parameters From Permission Rules) (current)
- 21:02, 30 September 2008 (diff | hist) . . (+2,149) . . N MQP:Mapping Back From Permissions (New page: {{MQP:Navbar}} Category:MQP-Design ==The Goal== One goal of the Resource Model is to be able to easily translate between the model and security implementations. In the context of Ja...)
- 20:50, 30 September 2008 (diff | hist) . . (+1) . . MQP:Main (→Design Topics)
- 20:50, 30 September 2008 (diff | hist) . . (+69) . . MQP:Main
- 18:08, 26 September 2008 (diff | hist) . . (+67) . . MQP:Rule to Resource Mapping (→Java Classes) (current)
- 17:58, 26 September 2008 (diff | hist) . . (+2,209) . . MQP:Rule to Resource Mapping (→XML Description)
- 17:43, 26 September 2008 (diff | hist) . . (+8,820) . . MQP:Rule to Resource Mapping
- 17:26, 26 September 2008 (diff | hist) . . (-12) . . MQP:Main
- 17:25, 26 September 2008 (diff | hist) . . (-7,332) . . m MQP:Rule to Resource Mapping (MQP:Permission to Resource Mapping moved to MQP:Rule to Resource Mapping: We map to rules now, not permissions.)
- 17:25, 26 September 2008 (diff | hist) . . (+42) . . N MQP:Permission to Resource Mapping (MQP:Permission to Resource Mapping moved to MQP:Rule to Resource Mapping: We map to rules now, not permissions.) (current)
- 17:21, 26 September 2008 (diff | hist) . . (-12) . . MQP:Rule to Resource Mapping (→Resource to Permission Data Model)
- 04:18, 26 September 2008 (diff | hist) . . (+1,496) . . MQP:Resource Model Proof of Concept 0.1 (current)
- 21:01, 16 September 2008 (diff | hist) . . (+431) . . MQP:Rule to Resource Mapping (→Resources)
- 20:57, 16 September 2008 (diff | hist) . . (+1,442) . . MQP:Rule to Resource Mapping (→Resources)
- 19:25, 16 September 2008 (diff | hist) . . (+11) . . MQP:Rule to Resource Mapping (→Resource to Permission Data Model)
- 19:24, 16 September 2008 (diff | hist) . . (+224) . . MQP:Rule to Resource Mapping (→Resource to Permission Data Model)
- 20:45, 15 September 2008 (diff | hist) . . (+16) . . MQP:A Thread Example (current)
- 20:43, 15 September 2008 (diff | hist) . . (+303) . . MQP:Static Analysis Strategies (→Current Work) (current)
- 20:39, 15 September 2008 (diff | hist) . . (+650) . . MQP:Static Analysis Strategies (→Location Arguments Passed to Permission Constructors)
- 20:34, 15 September 2008 (diff | hist) . . (+1,954) . . MQP:Static Analysis Strategies
- 20:14, 15 September 2008 (diff | hist) . . (+1,174) . . MQP:Project Overview
- 19:59, 15 September 2008 (diff | hist) . . (+199) . . MQP:Project Overview
- 18:46, 15 September 2008 (diff | hist) . . (+434) . . MQP:Project Overview (→Project Schedule and Goals)
- 19:12, 12 September 2008 (diff | hist) . . (+30) . . MQP:Main
- 19:09, 12 September 2008 (diff | hist) . . (+4) . . MQP:Main
- 19:08, 12 September 2008 (diff | hist) . . (+16) . . N Category:MQP-Prototypes (New page: Category:MQP) (current)
- 19:08, 12 September 2008 (diff | hist) . . (+141) . . MQP:Static Analysis Tool 0.1 (current)
- 18:56, 12 September 2008 (diff | hist) . . (+1) . . MQP:Static Analysis Tool 0.1
- 18:42, 12 September 2008 (diff | hist) . . (+18) . . MQP:Static Analysis Tool 0.1 (→A Simple Walkthrough)
- 18:42, 12 September 2008 (diff | hist) . . (+93) . . MQP:Static Analysis Tool 0.1 (→A Simple Walkthrough)
- 18:41, 12 September 2008 (diff | hist) . . (+1,809) . . N MQP:Static Analysis Tool 0.1 (New page: Category:MQP-Prototypes {{MQP:Navbar}} ==The Prototype== The initial prototype of the static analysis tool is available in this release. The tool at the moment has a simple command...)
- 18:12, 12 September 2008 (diff | hist) . . (+78) . . MQP:Main
- 15:00, 5 September 2008 (diff | hist) . . (+1,966) . . N MQP:A Thread Example (New page: ==Analyzing Calls to Thread.start()== This section describes how Koved's method for handling Thread.run() invocations in security call graphs can apply to different subclasses of Thread. ...)
- 14:44, 5 September 2008 (diff | hist) . . (+24) . . N File:ThreadExampleNoStart.png (image for thread example) (current)
- 14:42, 5 September 2008 (diff | hist) . . (+45) . . MQP:Main
- 14:39, 5 September 2008 (diff | hist) . . (+2,949) . . N MQP:Introduction to Netbeans Integration (New page: Category:MQP-Research {{MQP:Navbar}} ==Why Netbeans?== There are a few reasons why taking the security analysis tool and integrating it with Netbeans would be effective. Netbeans al...)
- 14:39, 5 September 2008 (diff | hist) . . (+30) . . MQP:Main
- 14:37, 5 September 2008 (diff | hist) . . (+2,949) . . N MQP:Netbeans API Overview (New page: Category:MQP-Research {{MQP:Navbar}} ==Why Netbeans?== There are a few reasons why taking the security analysis tool and integrating it with Netbeans would be effective. Netbeans al...) (current)
- 19:08, 4 September 2008 (diff | hist) . . (+53) . . MQP:Main
- 20:17, 2 September 2008 (diff | hist) . . (+959) . . MQP:Static Analysis Strategies
- 20:12, 27 August 2008 (diff | hist) . . (-1) . . MQP:Static Analysis Strategies (→Deep Analysis)
- 20:18, 26 August 2008 (diff | hist) . . (+3,609) . . N MQP:Static Analysis Strategies (New page: {{#categorytree:MQP|hideroot|mode=pages}} ==Overview== This page summarizes some of our discussions on strategies for performing static analysis to infer permissions. ==Goals== The bes...)
- 19:57, 26 August 2008 (diff | hist) . . (+63) . . MQP:Main (→Research Topics)
- 19:55, 26 August 2008 (diff | hist) . . (+183) . . MQP:More on Soot (→More to Come)
- 14:58, 26 August 2008 (diff | hist) . . (-46) . . MQP:Static Analysis Tools (→References)
- 14:55, 26 August 2008 (diff | hist) . . (+2) . . MQP:Static Analysis Tools (→Soot)
- 14:55, 26 August 2008 (diff | hist) . . (+33) . . MQP:Static Analysis Tools (→Soot)
- 14:54, 26 August 2008 (diff | hist) . . (+207) . . MQP:Static Analysis Tools
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)