| 7644284 |
Specifying security protocols and policy constraints in distributed systems |
— |
2010-01-05 |
| 7184988 |
Methods for operating infrastructure and applications for cryptographically-supported services |
Yair Frankel, Charles Thomas Montgomery, Marcel Mordechay Yung |
2007-02-27 |
| 6405313 |
Method for providing authentication assurance in a key-binding system |
Michael Kendrick Reiter |
2002-06-11 |
| 6381698 |
System and method for providing assurance to a host that a piece of software possesses a particular property |
Premkumar Thomas Devanbu |
2002-04-30 |
| 6256741 |
Specifying security protocols and policy constraints in distributed systems |
— |
2001-07-03 |
| 6249871 |
System and method for using a second resource to store a data element from a first resource in a first-in last-out stack |
Premkumar Thomas Devanbu |
2001-06-19 |
| 6237094 |
System and method for using a second resource to store a data element from a first resource in a first-in first-out queue |
Premkumar Thomas Devanbu |
2001-05-22 |
| 6216231 |
Specifying security protocols and policy constraints in distributed systems |
— |
2001-04-10 |
| 6148401 |
System and method for providing assurance to a host that a piece of software possesses a particular property |
Premkumar Thomas Devanbu |
2000-11-14 |
| 6108644 |
System and method for electronic transactions |
David Goldschlag, Paul Syverson |
2000-08-22 |
| 6101603 |
System and method for using a second resource to store a data element from a first resource in a first-in last-out stack |
Premkumar Thomas Devanbu |
2000-08-08 |
| 6098170 |
System and method for using a second resource to store a data element from a first resource in a first-in first-out queue |
Premkumar Thomas Devanbu |
2000-08-01 |
| 6049872 |
Method for authenticating a channel in large-scale distributed systems |
Michael Kendrick Reiter |
2000-04-11 |