Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004-5-1

Model checking SPKI/SDSI *

S. Jha, T. Reps

Journal of Computer Security

Retricted access

Research article

First published 2001-10-1

Certificate chain discovery in SPKI/SDSI

Dwaine Clarke, Jean-Emile Elien, Carl Ellison [...]

Journal of Computer Security

Retricted access

Research article

First published 1998-1-1

On SDSI’s linked local name spaces

Martín Abadi

Journal of Computer Security

Retricted access

Research article

First published 2001-1-1

A logic for SDSI's linked local name spaces

Joseph Y. Halpern, Ron van der Meyden

Journal of Computer Security

Retricted access

Research article

First published 2006-10-20

Language based policy analysis in a SPKI Trust Management System

Arun K. Eamani, A. Prasad Sistla

Journal of Computer Security

Retricted access

Research article

First published 2003-10-1

A logical reconstruction of SPKI 1

Joseph Y. Halpern, Ron van der Meyden

Journal of Computer Security

Retricted access

Research article

First published 1993-12

A Severity Index Designed as an Indicator of Acuity in Palliative Care

Linda Strause, Laurel Herbst, True Ryndes [...]

Journal of Palliative Care

Retricted access

Research article

First published 2003-1-1

Distributed credential chain discovery in trust management *

Ninghui Li, William H. Winsborough, John C. Mitchell

Journal of Computer Security

Retricted access

Research article

First published 2005-8

Secure mobile agent system and its application in the trust building process of virtual enterprises

Michelle S. Wangham, Joni S. Fraga, Ricardo J. Rabelo [...]

Multiagent and Grid Systems

Search results