Formal Modeling of Linux-PAM Authentication Processes

warning: Invalid argument supplied for foreach() in /home/fsoss/html/2009/sites/all/modules/cck/theme/content-field.tpl.php on line 35.
warning: Invalid argument supplied for foreach() in /home/fsoss/html/2009/sites/all/modules/cck/theme/content-field.tpl.php on line 35.
warning: Invalid argument supplied for foreach() in /home/fsoss/html/2009/sites/all/modules/cck/theme/content-field.tpl.php on line 35.

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

Fri, 2009-10-16 13:11 | Christopher Kulbakas