RSA-Grid: A grid computing based framework for power system reliability and security analysis

Grid computing is an emerging technology for providing the high performance computing capability and collaboration mechanism for solving the collaborated and complex problems while using the existing resources. In this paper, a grid computing based framework is proposed for the probabilistic based power system reliability and security analysis. The suggested name of this computing grid is Reliability and Security Grid (RSA-Grid). Then the architecture of this grid is presented. A prototype system has been built for further development of grid-based services for power systems reliability and security assessment based on probabilistic techniques, which require high performance computing and large amount of memory. Preliminary results based on prototype of this grid show that RSA-Grid can provide the comprehensive assessment results for real power systems efficiently and economically.

A Z based approach to verifying security protocols

Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be directly expressed or verified in contemporary formal methods. Via a detailed example, we describe the phases needed to formalise and verify the correctness of a security protocol in the state-oriented Z formalism.

Formal verification of type flaw attacks in security protocols

Security protocols are often modelled at a high level of abstraction, potentially overlooking implementation-dependent vulnerabilities. Here we use the Z specification language's rich set of data structures to formally model potentially ambiguous messages that may be exploited in a 'type flaw' attack. We then show how to formally verify whether or not such an attack is actually possible in a particular protocol using Z's schema calculus.

A power system control scheme based on security visualisation in parameter space

Power system real time security assessment is one of the fundamental modules of the electricity markets. Typically, when a contingency occurs, it is required that security assessment and enhancement module shall be ready for action within about 20 minutes’ time to meet the real time requirement. The recent California black out again highlighted the importance of system security. This paper proposed an approach for power system security assessment and enhancement based on the information provided from the pre-defined system parameter space. The proposed scheme opens up an efficient way for real time security assessment and enhancement in a competitive electricity market for single contingency case

SIFA: A tool for evaluation of high-grade security devices

We describe a tool for analysing information flow in security hardware. It identifies both sub-circuits critical to the preservation of security as well as the potential for information flow due to hardware failure. The tool allows for the composition of both logical and physical views of circuit designs. An example based on a cryptographic device is provided.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

A revision of Benedenia Diesing, 1858 including a redescription of B-sciaenae (van Beneden, 1856) Odhner, 1905 and recognition of Menziesia Gibson, 1976 (Monogenea : Capsalidae)

Benedenia Diesing, 1858, a genus of capsalid (benedeniine) monogeneans, is redefined. The generic diagnosis is amended to include: the path of tendons in the haptor from extrinsic muscles in the body; presence and form of the marginal valve; a penis occupying a penis canal with weakly muscular wall; a weakly muscular accessory gland reservoir proximal to the penis and enclosed by a proximal extension of the wall of the penis canal; male and female genital apertures usually common, rarely separate; vagina with pore usually close to the common genital pore but may open in mid body between the germarium and the common genital pore, or anterior to the common genital pore. A conservative approach is adopted and the generic diagnosis is clarified and broadened to accommodate species that display some variation in reproductive anatomy, especially of the female system. We argue against potential alternative actions such as defining Benedenia strictly to contain species with separate male and female genital apertures and against recognition of a separate genus, Tareenia Hussey, 1986, for species with a vaginal pore anterior to the common genital pore. Under our conception, Benedenia comprises 21 species: B. sciaenae (van Beneden, 1856) Odhner, 1905 (type species); B. acanthopagri (Hussey, 1986) comb. nov.; B. anticavaginata Byrnes, 1986; B. bodiani Yamaguti, 1968; B. elongata (Yamaguti, 1968) Egorova, 1997; B. epinepheli (Yamaguti, 1937) Meserve, 1938; B. hawaiiensis Yamaguti, 1968; B. hendorffi(von Linstow, 1889) Odhner, 1905; B. hoshinai Ogawa, 1984; B. innobilitata Burhnheim Gomes and Varela, 1973: B. jaliscana Bravo-Hollis, 1952; B. lolo Yamaguti, 1968; B. lutjani Whittington and Kearn, 1993: B. monticellii (Parona and Perugia, 1895) Johnston, 1929; B. ovata (Goto, 1894) Johnston. 1929: B. pompatica Burhnheim, Gomes and Varela, 1973; B. rohdei Whittington, Kearn and Beverley-Burton, 1994; B. scari Yamaguti, 1968; B. sekii (Yamaguti, 1937) Meserve, 1938; B, seriolae (Yamaguti, 1934) Meserve, 1938; and B. synagris Yamaguti, 1953. The type species, B. sciaenae, is redescribed based on new material from Australia. No types for this taxon were designated and we have assigned a series of voucher specimens. Tareenia acanthopagri Hussey, 1986 becomes B. acanthopagri (Hussey, 1986) comb. nov. and T. anticavaginata (Byrnes, 1986) Egorova, 1997 and T. lutjani (Whittington and Kearn, 1993) Egorova, 1997 are returned to Benedenia as B. anticavaginata and B. lutjani Benedenia akaisaki Iwata, 1990 is considered a synonym of B. ovata and B. kintoki Iwata, 1990 is considered a synonym of B. elongata. Two species, B, madai Ishii and Sawada, 1938 and B. pagrosomi Ishii and Sawada, 1938, are considered species inquirendae. Based on the redefinition of Benedenia, the diagnosis for the Benedeniinae is amended. Tareenia is synonymized with Benedenia but Menziesia Gibson, 1976 is recognized and its generic diagnosis amended to include: anterior attachment organs tending to form a 'hooded' appearance; prominent anterior gland cells between the pharynx and the anterior margin of the body: long penis, tapering proximally, occupying a penis canal with weakly muscular wall: penis canal and penis describe a sigmoid; accessory gland reservoir dorsal and alongside, or posterior and lateral to, proximal end of the penis and enclosed by a proximal extension of the wall of the penis canal. Under this conception. Menziesia comprises: M. noblei (Menzies. 1946) Gibson, 1976 (type species); M. malaboni (Velasquez. 1982) comb. nov.: M. merinthe (Yamaguti, 1968) Gibson. 1976: M. ovalis (Yamaguti, 1968) Gibson, 1976: and M. sebastodis (Yamaguti, 1934) comb, nov. A key to valid species of Benedenia and Menziesia is provided and a list is presented of published records of undescribed or unattributed species of Benedenia. Some protocols are suggested for preparation of benedeniine material to enhance future taxonomic studies and comparisons. The host-specificity and geographic distribution of species in these revised genera are discussed. The composition of the Capsalidae is discussed and some difficulties in defining and distinguishing between its different subfamilies are considered.

Transient evoked otoacoustic emissions in adults: a comparison between two test protocols

This study compares the performance of the Quickscreen and Default protocols of the ILO-96 Otodynamics Analyzer in recording transient evoked otoacoustic emissions (TEOAEs) from adults using clinical decision analysis. Data were collected from 25 males (mean age = 29.0 years, SD = 6.8) and 35 females (mean age = 28.1 years, SD = 9.6). The results showed that the mean signal-to-noise ratios obtained from the Quickscreen were significantly greater than those from the Default protocol at 1,2, and 4 kHz. The comparison of the performance of the two protocols, based on the results using receiver operating characteristics curves, revealed a higher performance of the Quickscreen than the Default protocol at 1 and 4 kHz but not at 2 kHz. In view of the enhanced performance of the Quickscreen over the Default protocol in general, the routine use of the Default protocol for testing adults in audiology clinics should be reconsidered.