•  
   
  
• Home
• Publications
  • 2006-2008
  • 1992-2005
• Research
  • SALR
  • SCM
• Tools
  • Collidescope
  • ConPN
• People
• Links
  • Digital Libraries
  • Online Reference
  • Organizations
  • Multi-Search
• Contact Us
• Site Map
•  
• Contact:
  Dr. R. F. Gamble
  gamble@utulsa.edu

Melanie Smith

Contacttop

• Email: melanie at utulsa dot edu
• Phone: (918) 631-3283
• Office: U352, Keplinger Hall

Educationtop

• Ph.D. in Computer Science, University of Tulsa, Oklahoma, currently pursuing
• M.S. in Computer Science, University of Tulsa, Oklahoma, Dec 2006
• B.S. in Computer Science, University of Tulsa, Oklahoma, May 2005

Certificatestop

• CNSS 4011 Information Security Professional
• CNSS 4012 Designated Approving Authority
• CNSS 4013 Administration in Information Systems Security
• CNSS 4014 Information Systems Security Officer
• CNSS 4015 Systems Certifier

Publicationstop

• Examining Certification and Access Control Conflicts Using Deontic Logic, M. Smith, M. Kelkar, R. Gamble, submitted to An International Workshop on Software Certification (CERTSOFT), 2006.
• Determining Conflicts in Interdomain Mappings for Access Control, A. Walvekar, M. Kelkar, M. Smith, R. Gamble, to appear in Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), 2006.
• Interaction Partnering Criteria for COTS Components, M. Kelkar, M. Smith, R. Gamble, 18th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2006.
• Security Profiling of COTS Components for Interaction Partnering, M. Kelkar, M. Smith, R. Gamble, poster for International Conference on COTS-Based Software Systems (ICCBSS), 2006.