( en | de | ru )

 

Disambiguation of "III, James W. Gray"

Author of the publication

copydeleteadd this publication to your clipboard
Using temporal logic to specify and verify cryptographic protocols.

, and . CSFW, page 108-. IEEE Computer Society, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Oliver Gray

On the complete classification of unitary N=2 minimal superconformal field theories. Uni Augsburg, (2009)

Michael James

Audrein James

Katherine James

Ursula Gray

 

Other publications of authors with the same name

On the Clark-Jacob Version of SPLICE/AS.. Inf. Process. Lett., 62 (5): 251-254 (1997)Information Sharing in Secure Systems.. CSFW, page 128-138. IEEE Computer Society, (1990)Toward a Mathematical Foundation for Information.. J. Comput. Secur., 1 (3-4): 255-294 (1992)A Study of Least Privilege in CapBasED-AMS., , and . CoopIS, page 208-217. IEEE Computer Society, (1998)A Logical Approach to Multilevel Security of Probabilistic Systems., and . Distributed Comput., 11 (2): 73-90 (1998)Protection Against EEPROM Modification Attacks., and . ACISP, volume 1438 of Lecture Notes in Computer Science, page 250-260. Springer, (1998)On Information Flow Security Models.. CSFW, page 55-60. IEEE Computer Society, (1991)Least Privilege Security in CapBasED-AMS., , and . Int. J. Cooperative Inf. Syst., 8 (2-3): 139-168 (1999)Probabilistic Interference.. S&P, page 170-179. IEEE Computer Society, (1990)A logical approach to multilevel security of probabilistic systems., and . S&P, page 164-176. IEEE Computer Society, (1992)