UNIVERSITY of ARKANSAS    
University of Arkansas Logo
NATIONAL CENTERS OF ACADEMIC EXCELLENCE IN INFORMATION ASSURANCE RESEARCH

Designated by
MISSION STATEMENT

To promote education and research in the field of computer security and information assurance at University of Arkansas. The activities of this center includes, but not limited to the following: fostering multidisciplinary research, securing large-scale funding from federal, state, and other funding agencies, providing education and training to future work-force, increasing awareness in the field of information security and reliability by offering appropriate seminars and workshops.

Dr. Andrews publishes paper on Simulation Logic

Dr. David Andrews publised a paper titled Simulation Logic in Logic and Logical Philosophy journal. Drs. Gerard Allwein and William L. Harrison of Naval Research Laboratory and University of Missouri, respectively, are co-authors of the publication.

The abstract of the paper reads: Simulation relations have been discovered in many areas: Com- puter Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics.


Teaching RFID Security

The paper titled "Teaching RFID Information Systems Security, authored by Drs. Dale Thompson, Jia Di, and Michael K. Daugherty has been accepted for publication in IEEE Transactions on Education. The abstract of the paper is provided below:

The future cyber security workforce needs radio frequency identification (RFID) information systems security (INFOSEC) and threat modeling educational materials. A complete RFID security course with new learning materials and teaching strategies is presented here. A new RFID Reference Model is used in the course to organize discussion of RFID, much as the open systems interconnection (OSI) model is used in a computer networking course. Students use a general-purpose threat modeling process named STRIDE and a risk analysis model named DREAD to determine and to mitigate security risks. Class modules on topics such as the threat modeling process and privacy can be integrated into fourth-year undergraduate or first-year graduate-level computer science and computer engineering courses such as network security, wireless security, computer networks, sensor/RFID networks, or network performance.


Paper on Object Trust Evaluation

Dr. Yanjun Zuo and Dr. Brajendra Panda published a paper titled "Composition and Combination-Based Object Trust Evaluation for Knowledge Management in Virtual Organizations". The paper appeared in the Journal of Information and Knowledge Management Systems, Vol. 43, No.3, 2013. The following is an excerpt from the abstract of the paper:

This paper aims to develop a framework for object trust evaluation and related object trust principles to facilitate knowledge management in a virtual organization. It proposes systematic methods to quantify the trust of an object and defines the concept of object trust management. The study aims to expand the domain of subject trust to object trust evaluation in terms of whether an object is correct and accurate in expressing a topic or issue and whether the object is secure and safe to execute (in the case of an executable program). By providing theoretical and empirical insights about object trust composition and combination, this research facilitates better knowledge identification, creation, evaluation, and distribution.


University of Arkansas - College of Engineering - Department of Computer Science & Computer Engineering
504 J. B. Hunt Building - Fayetteville, AR 72701 - Phone: (479) 575-6197, Fax: (479)-575-5339
Copyright © 2004 University of Arkansas, College of Engineering. All Rights Reserved