Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9213843 | Analyzing access control configurations | Prasad G. Naldurg, Sriram K. Rajamani, Stefan Schwoon | 2015-12-15 |
| 8701200 | Analyzing access control configurations | Prasad G. Naldurg, Sriram K. Rajamani, Stefan Schwoon | 2014-04-15 |
| 8336035 | Customizable dynamic language expression interpreter | Kenneth D. Wolf, Geoffrey M. Kizer | 2012-12-18 |
| 8266702 | Analyzing access control configurations | Prasad G. Naldurg, Sriram K. Rajamani, Stefan Schwoon | 2012-09-11 |
| 8196178 | Expert system analysis and graphical display of privilege elevation pathways in a computing environment | Matthew W. Thomlinson | 2012-06-05 |
| 8020194 | Analyzing cross-machine privilege elevation pathways in a networked computing environment | Matthew W. Thomlinson | 2011-09-13 |
| 7716728 | Security scopes and profiles | Giovanni M. Della-Libera, Vijay K. Gajjala, Tomasz Janczuk | 2010-05-11 |
| 7640573 | Generic security claim processing model | Giovanni M. Della-Libera, Vijay K. Gajjala, Tomasz Janczuk, Elliot Waingold | 2009-12-29 |
| 7237231 | Automatic identification of input values that expose output failures in a software object | — | 2007-06-26 |
| 7216337 | Automatic determination of invalid call sequences in software components | — | 2007-05-08 |