The correct implementation of security protocols is a challenging task. Like any software, to gain high confidence in a given implementation, ideally one requires both: (i) a formal specification that has been subjected to verification; and (ii) tool support to generate an implementation from the verified specification. The former area has attracted considerable attention for security protocols, and significant advances have been made. In the latter area, the state of the art has not progressed beyond simple security protocols with a small number of steps. This paper presents an improved approach to protocol implementation. Starting with a formal protocol specification, a rigorous process with considerable tool support leads to the deployment of implementations in a flexible middleware framework for their execution. To illustrate the approach, the paper describes the implementation of a deterministic, fair non-repudiation protocol. Such protocols are quite complex, as they require both sub-protocols and trusted third party involvement in order to guarantee fairness. Therefore, it is reasonable to assume that we can extend the approach to a wide range of less complex, deterministic security protocols.

applications Part I

This paper documents egocentric biases in market-entry decisions. We demonstrate self-focused explanations for entrydecisions made by three groups of participants: actual entrepreneurs (founders), working professionals who considered starting their own firms but did not (nonfounders

Introduction. Foreign market entries are important stepping stones for [] MNEs expanding their global reach and establishing an international network of interdependent business units. Within this network, each [] subsidiary has a specific role, for instance to provide access to local resources

periods. Such a period can contain more than one single transition and add up to an overall sequence type. In particular, the process of labour market entry is characterised by considerable insecurity and varies in du-

ABSTRACT The social dynamics which precede international exchange are considered in light of data collected on 133 foreign market entries from a sample of highly-internationalized manufacturing firms. Consistent with research done in the social network field, the findings support the hypothesis

A simple …nancial market model

At the early stages of industry development, before operating in the market, firms may identify an opportunity to enter yet wait for the market to grow sufficiently (to justify the expense of market entry). We model this problem and show that, in oligopolies, market entry involving lumpy

of government intervention, markets would generate sufficient information through reputation and other mechanisms to meet the needs of consumers.

Other articles from the Nordic Journal of Political Economy can be found at: