The Certificate (CERT) parameter is a container for digital certificates. It is used for carrying these certificates in Host Identity Protocol (HIP) control packets. This document specifies the CERT parameter and the error signaling in case of a failed verification. Additionally, this document specifies the representations of Host Identity Tags in X.509 version 3 (v3) and Simple Public Key Infr...

A certificate is a mathematical object that can be used to establish that a piece of mobile code satisfies some security policy. Since in general certificates cannot be generated automatically, there is an interest in developing methods to reuse certificates. This article studies methods that transform certificates of a program into certificates of another program derived from the initial one b...

This document describes an experimental protocol for publicly logging the existence of Transport Layer Security (TLS) certificates as they are issued or observed, in a manner that allows anyone to audit certificate authority (CA) activity and notice the issuance of suspect certificates as well as to audit the certificate logs themselves. The intent is that eventually clients would refuse to hon...

We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distributes attribute certificates authorizing access to policy objects (e.g., ACLs). Control over the issuance of such certificates is retained by member domains separately holding shares of the joint coalition authority’s priv...

Sommario. Automatic verification deals with the validation by means of computers of correctness certificates. The related tools, usually called proof assistant or interactive provers, provide an interactive environment for the creation of formal certificates whose correctness can be assessed in a purely automatic way. Such systems have applications both in mathematics, where certificates are pr...

The cause of death shown on 191 death certificates was compared with the cause indicated by the hospital case notes, the consultants' opinions, and the necropsy findings. All 191 deaths occurred among medical hospital patients aged under 50. In 39 cases there was a major discrepancy between the two sources over the cause of death and in another 54 ther was a minor but epidemiologically importan...

In the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distributed certificates which can be verified locally. However, this requires to leak information about the identities of the nodes in the certificates, which might not be applicable in a context in which privacy is desir...

Once the definition of the CHP certificate is clear, demand for it can be organised in several ways. A well-designed system of mandatory demand, by means of an obligation to acquire a certain amount of CHP certificates each year, is effective to meet the policy target. The voluntary willingness to pay for CHP certificates is likely to be small, resulting in a very thin market. Finally, instead ...

Dear Editor, Death indicators and causes of death are both closely associated with socio-cultural, economic, and structural factors and determinants of health, with all of which being at the core of the planning, monitoring, and assessment of intervention programs in any healthcare system (1). In Iran, the diagnosis and official registration of deaths are carried out by two independent organiz...