Formal Modeling of Linux-PAM Authentication Processes

Presenter(s): 
Room Location: 
S1208
Time: 
Fri, 2009-10-30 11:00

Introduction:
- authentication and its role in information security.

Motivation/Goals:
- current problems with creating "secure" Linux-PAM authentication processes
- unique approach of pamtester-fm tool to solve these problems, goals of pamtester-fm tool

Before PAM
- state of authentication before PAM came along

PAM - de facto authentication mechanism
- state of authentication after PAM, why model PAM?

Pamtester-fm tool
modeling, objective, methodology, functionality, results

Conclusion