Formal Modeling of Linux-PAM Authentication ProcessesPresenter(s):
Room Location:
S1208
Time:
Fri, 2009-10-30 11:00
Introduction: Motivation/Goals: Before PAM PAM - de facto authentication mechanism Pamtester-fm tool Conclusion |