| 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 |
