The motivation for and process leading up to the publication of a new bull breeding soundness certification standard endorsed by the South African Veterinary Association is described. The veterinary certificate of bull breeding soundness and explanatory notes and minimum standards are shown. The first component of the certificate is a declaration by the veterinarian that the bull complies with ...

Distributed proofs are mechanisms enabling the nodes of a network to collectivity and efficiently check the correctness of Boolean predicates on the structure of the network, or on data-structures distributed over the nodes (e.g., spanning trees or routing tables). We consider mechanisms consisting of two components: a prover assigning a certificate to each node, and a distributed algorithm cal...

In [1], a scalable and small-bandwidth certificate validation scheme was presented. We call this system NOVOMODO, to emphasize the new way in which it approaches the field. In this paper, we recall the NOVOMODO technology and • Compare the efficiency and security of NOVOMODO and OCSP; and • Discuss how NOVOMODO may simplify PKI management in several applications (e.g., attribute certs). 1. Trad...

There exists a large number of theoretical results concerning fast parallel algorithms for graph problems, however, scarcely one finds reports of their practical implementation. In an attempt at partial filling this gap we discuss implementation of an algorithm performing the pretest for k-connectivity. This test is based, first, on the Scan-First Search algorithm introduced in [1]. Utilizing t...

Mobile ad hoc networks are a set of nodes that cooperate and communicate wirelessly. This kind of networks in easy to deploy because there is no need of any pre-existing infrastructure. Security in MANETs is a very important issue and it is hard to use conventional security techniques. Many approaches have been proposed to secure communication in MANETs; most of them are based of public-key cer...

In spite of the vital role played by Digital Certificates in Public Key Cryptographic systems, the overhead involved in maintaining those made them prohibitory. Certificateless Public Key Cryptography [1] was proposed as an alternative. It was based on based on the concept of implicit certification. Even though Certificateless Public Key Cryptography (CLPKC) combines the appealing features of P...

An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this paper we prove that every robustly safe ordinary differential equation has a barrier certificate. Moreover, we show a construction of such a barrier certificate based on a set of states that is reachable in finite time.

Abstract The European Certificate of Succession is an obligatory form that may be used in cross-border succession cases. standardizes the information to provided interested parties. Could this standardization further developed through digitalization, as and digitalization are closely connected use forms? e-copy certificate, issued by a smart contract running on blockchain, stored e-wallet which...