A formally verified decentralized key management architecture for wireless sensor networks

We present a decentralized key management architecture for wireless sensor networks, covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Balance between security and energy consumption is achieved by partitioning a system into two interoperable security realms: the supervised realm trades off simplicity and resources for higher security whereas in the unsupervised realm the vice versa is true. Key deployment uses minimal key storage while key refreshment is based on the well-studied scheme of Abdalla et al. The keying protocols involved use only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe

Fumigant activity of plant essential oil from Armoracia rusticana (L.) on Plodia interpunctella (Lepidoptera: Pyralidae) and Sitophilus zeamais (Coleoptera: Curculionidae)

The fumigant toxicity of essential oil from horseradish plant, Armoracia rusticana (L.), was assessed against Plodia interpunctella (Hübner) and Sitophilus zeamais Motschulsky. A. rusticana oil was active against different life stages of P. interpunctella and adults of S. zeamais. The LC50 value for adults was the lowest and that of pupa was the highest. The major compound found by gas chromatography-mass spectrometry was allyl isothiocyanate (97.81%). These results indicate that it may be possible to achieve toxicity levels similar to those of standard chemical fumigants through the applications of essential oils from A. rusticana.Key word: Plant essential oil, Plodia interpunctella, Sitophilus zeamais, fumigant activity, allyl isothiocyanate

Count three for wear able computers

This paper is a postprint of a paper submitted to and accepted for publication in the Proceedings of the IEE Eurowearable 2003 Conference, and is subject to Institution of Engineering and Technology Copyright. The copy of record is available at the IET Digital Library. A revised version of this paper was also published in Electronics Systems and Software, also subject to Institution of Engineering and Technology Copyright. The copy of record is also available at the IET Digital Library.A description of 'ubiquitous computer' is presented. Ubiquitous computers imply portable computers embedded into everyday objects, which would replace personal computers. Ubiquitous computers can be mapped into a three-tier scheme, differentiated by processor performance and flexibility of function. The power consumption of mobile devices is one of the most important design considerations. The size of a wearable system is often a design limitation

Marketing Strategy: A Tool for Library and Information Services Delivery by Academic Libraries in Southwest Nigeria.

Adoption of marketing concept into information oriented organizations such as academic libraries has become imperative especially with the proliferation of information technology where libraries are no longer seen as the sole custodian of knowledge. This study therefore aimed at investigating the need for marketing strategy as tool for library and information services delivery by academic libraries using the various technology driven facilities. The survey research design was adopted for the study. Stratified sampling technique was used to select 6 libraries from federal, state and private owned universities in South Western Nigeria. Total enumeration technique was used in selecting the sample size consisting of 148 librarians and library officers in the institutions. Data were gathered using questionnaire and the findings revealed that face to face approach and use of the notice boards are the most common methods used in these libraries. Though some marketing strategies are already in use, services like indexing and abstracting which is even an ancient strategy is giving way for new technologies. Likewise, database searching, network and rich site summary, and email alerts which are the commonest of all are yet to be fully embraced. It was revealed that adopting marketing strategies in service delivery has enhanced the image of these libraries and has boosted library professionals’ self actualization. However, challenges such as inadequate skills and lack of funds among others constitute threats to effective use of marketing strategies in library service delivery