COMPUTER SCIENCE

Computer Security

Course Number: 22C:169:EXW

Credit: 3 undergraduate or graduate credits

Tuition: $672 undergraduate, $1047 graduate

ARRANGED, WORLD WIDE WEB

   Topics include mechanism versus policy distinction; authentication mechanisms, access control mechanisms, and security domains; perimeter security, internal security and defense in depth; communication security, cryptographic protocols, key management and key distribution; threat models, security assessment methods, and clarification of secure systems. The course is taught by a faculty member.

Prerequisites: grade of C- or higher in 22C:060 or equivalent

Instructor: Eunjin Jung

For information contact www.continuetolearn.uiowa.edu/ccp/, The University of Iowa Division of Continuing Education, Center for Credit Programs, 116 International Center, Iowa City, IA 52242-1802. Call toll-free 1-800-272-6430 or (319) 335-2575. Fax: (319) 335-2740.

To register visit: http://www.continuetolearn.uiowa.edu/ccp/de/regform.htm

Formal Methods in Software Engineering

Course Number: 22C:181:EXW

Credit: 3 undergraduate or graduate credits

Tuition: $672 undergraduate, $1047 graduate

Classes: 2:30-3:45 p.m. Tuesday & Thursday

ARRANGED WORLD WIDE WEB PLUS MEETING

   This course introduces formal models, methods, and their application in various phases of software engineering process. The purpose of formal methods is to enable the construction of large, highly reliable software. Their foundation is the precise specification of the run-time properties that a software system is expected to satisfy. The course presents a collection of techniques for formal software development including operational, algebraic, model-based, property-based specification methods; for the verification of consistency and completeness of specifications; for the verification of software properties. Course work includes exercises in specification construction and verification, both on paper and using formal method-based tools. The course is taught by a faculty member. This course is being offered via a virtual classroom which will require students to be logged into their computer from 2:30-3:45pm Tuesdays & Thursdays. Same as: 055:181

Computer Requirements: This course utilizes Virtual Classroom software. To learn more and see if your computer is compatible go to the following address: http://www.continuetolearn.uiowa.edu/ccp/tech-support/breeze/

Prerequisites: grade of C- or higher in 22C:180 or 055:180

Instructor: Cesare Tinelli

For information contact www.continuetolearn.uiowa.edu/ccp/, The University of Iowa Division of Continuing Education, Center for Credit Programs, 116 International Center, Iowa City, IA 52242-1802. Call toll-free 1-800-272-6430 or (319) 335-2575. Fax: (319) 335-2740.

To register visit: http://www.continuetolearn.uiowa.edu/ccp/de/regform.htm

Data Mining and Machine Learning

Course Number: 22C:242:EXW

Credit: 3 graduate credits

Tuition: $1047 graduate

ARRANGED, WORLD WIDE WEB

   This course will explore the state-of-the-art in the data mining and machine learning by discussing recently published research papers and performing research projects. This course will be offered online only.

Prerequisites: 6K:275 or 22C:141 or 22C:142

Instructor: Hwanjo Yu

For information contact www.continuetolearn.uiowa.edu/ccp/, The University of Iowa Division of Continuing Education, Center for Credit Programs, 116 International Center, Iowa City, IA 52242-1802. Call toll-free 1-800-272-6430 or (319) 335-2575. Fax: (319) 335-2740.

To register visit: http://www.continuetolearn.uiowa.edu/ccp/de/regform.htm

Southwest Iowa Regents Resource Center
3501 Harry Langdon Blvd
ISD Campus, Careers Bldg
Council Bluffs, Iowa 51503
Phone: 712-366-3647
Fax: 712-366-1723
E-mail: swirrc@iastate.edu