A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. The main objective of this work is to verify whether the simulation model of the TTP/C protocol behaves in the presence of faults in the same way as the existing hardware prototype implementation. Thus, the experimental...

Our competitive global business environment promotes faster, better and cheaper product design. With the rapid advancing computational technology, virtual prototyping and simulation-based design have great potential to reduce design cost and improve design quality. To support simulation-based design of mechatronic systems, our group has developed a simulation and design environment in which des...

The explosive growth of the Internet exposes unprecedented commercial opportunities over the network. The vast comptiter networks easily bring together customers and vendors who are physically distributed in diflerent continents. Current research in electronic commerce mainly focuses on payment mechanisms. However, the global presence of customers and vendors makes at dificult to build trust am...

In this paper we consider a new and efficient optimistic nonrepudiation protocol. In a non-repudiation protocol, during which Alice wants to transmit a message to Bob, Alice has to send a non-repudiation of origin evidence to Bob (attesting that Alice is at the origin of the transmitted message), and Bob has to send a non-repudiation of receipt evidence to Alice (attesting Bob’s receipt of the ...

BACKGROUND Sublingual allergen immunotherapy (SLIT) is a commonly used alternative route of administration to standard subcutaneous immunotherapy (SCIT) in Europe. Despite its wide use, the cost-effectiveness of SLIT vs SCIT has not been well established. OBJECTIVE To evaluate the cost and effectiveness of SLIT compared with SCIT in patients with allergic rhinoconjunctivitis during a 3-year s...

Changes in the way that health care is perceived, delivered, and financed have occurred rapidly in a relatively short time span. The 50-year period since World War II encompasses enormous growth in medical technology, soaring health care costs, and significant fragmentation of the two-party patient-physician relationship. This relationship first grew to include the third-party payer, the health...

Consider an absolutely simple abelian variety X over a number field K. We show that if the absolute endomorphism ring of X is commutative and satisfies certain parity conditions, then Xp is absolutely simple for almost all primes p. Conversely, if the absolute endomorphism ring of X is noncommutative, then Xp is reducible for p in a set of positive density. An absolutely simple abelian variety ...

The growth of the internet provides opportunities for cooperative computation, it also requires development of protocols that can accomplish this task among mutually untrusting parties. The aim is to develop methods which ensure both the correct evaluation of the function and privacy of individual inputs. Multiparty Computation protocols help to achieve the aim without using a trusted third par...

We are investigating a component based approach for formal design of distributed systems In this paper we introduce the framework we use for speci cation composition and communication and we apply it to an example that highlights the di erent aspects of a compositional design including top down and bottom up phases proofs of composition re nement proofs proofs of program texts and component reuse

Personalization of on-line content by on-line businesses can improve a user’s experience and increase a business’s chance of making a sale, but with stricter privacy legislation and Internet users’ increasing concerns about privacy, businesses need to ensure they do not violate laws or frighten away potential customers. This paper describes the design of the proposed Identity Management Archite...