A logic for SDSI's linked local name spaces

ISSN： 0926-227X

Source： Journal of Computer Security, Vol.9, Iss.1-2, 2001-01, pp. : 105-142

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Certificate chain discovery in SPKI/SDSI

By Clarke D.

Journal of Computer Security, Vol. 9, Iss. 4, 2001-01 ,pp. : 285-322

Ios Press

Access to resources Recommend Favorite

Temporal aspects of the modal logic of subset spaces

By Heinemann B.

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 135-155

Elsevier

Access to resources Recommend Favorite

Categories of dimaps and their dihomotopies in po-spaces and local po-spaces

By Sokolowski S.

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 2, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite

Finding centric local outliers in categorical/numerical spaces

By Yu Jeffrey Qian Weining Lu Hongjun Zhou Aoying

Knowledge and Information Systems, Vol. 9, Iss. 3, 2006-03 ,pp. : 309-338

Springer Publishing Company

Access to resources Recommend Favorite

Chu spaces as a semantic bridge between linear logic and mathematics

By Pratt V.

Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. : 439-471

Elsevier

Access to resources Recommend Favorite