We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some that violate even the most basic authentication guarantees. We analyze the cause of these weaknesses, propose repaired versions of the protocols, and provide automated, machine-checked proofs of their correctness. From an engineeri...

This paper discusses developments in international standards (ISO) for metadata that can be used to denote languages, the ISO 639 series of standards. These developments are intended to support improvements in the reusability and interoperability of data and provide for future generations of language resources and technologies. The focus of the paper is on aspects of the model for the Language ...

The ISO 14000 and ISO 9000 standards have a positive impact on achieving sustainable and efficient business. The ISO 14001, in particular, is credited with a crucial role of assisting businesses with managing their environmental credentials which are vital in the upcoming carbon economy. This paper explores the significance of ISO 14001 and expands on the possibilities of the use of this standa...

The aim of this study was to validate the Edholm scale (Edholm, 1966) and the ISO 8996 standard (International Organization for Standardization [ISO], 1990) by comparing the metabolic rates estimated for both methods with the actual measured metabolic rate (MMeas) in 6 manual material handling tasks simulated under laboratory conditions. The metabolic rate was calculated from oxygen consumption...

The STEP stands for the standard for exchange of product model data. It represents ISO 10303. In the STEP, the parametric design methodology is supported by various Parts. The first Part is ISO 10303-55: integrated generic resource: procedural and hybrid representation. The second Part is 10303108: integrated application resource: parameterization and constraint for explicit geometric product m...

Last year saw the publication of IS0 31000:2009, a new globally accepted standard for risk management together with a new, associated vocabulary in ISO Guide 73:2009. These were developed through a consensus-driven process over four years, through seven drafts, and involving the input of hundreds of risk management professionals around the world. The new standard supports a new, simple way of t...

The Geographic Information Systems (GIS) applied to aviation use mostly modelling and analysis in 2D. Nevertheless, a tendency to represent and analyse in three-dimensions begins to emerge. It requires new descriptions and new operative tools for 3D objects in GIS. As an association of users and software producers, the Open Geospatial Consortium (OGC) has defined an ISO standard to describe two...

ISO 20462, a three-part standard entitled “Psychophysical experimental methods to estimate image quality,” is being developed by WG18 (Electronic Still Picture Imaging) of TC42 (Photography). As of late 2003, all three parts were in the Draft International Standard (DIS) ballot stage, with publication likely during 2004. This standard describes two novel perceptual methods, the triplet comparis...

We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some that violate even the most basic authentication guarantees. We analyse the cause of these weaknesses, propose repaired versions of the protocols, and provide automated, machinechecked proofs of the correctness of the resulting prot...

Introduction This report has come to being while we were reading the Draft ISO Standard 8613, Parts 1-6: OOce Documents Architecture and interchange format ODA]. The precise nature of that undertaking may be of no concern for the Reader but we think it is typical of many projects arising in an industrial environment, and as such it may serve to illustrate some ways of lling the gap between the ...