Các điều kiện sau: Người dùng được xác nhận với các cơ sở dữ liệu và thành công có thể đăng nhập vào tài khoản. Thông tin phiên giao dịch của tài khoản đăng nhập cơ sở dữ liệu
Post-điều kiện: người dùng được xác nhận với các cơ sở dữ liệu và đăng nhập thành công vào tài khoản. Các chi tiết về phiên tài khoản đăng nhập cơ sở dữ liệu