라인 ( 410 ) 에서 의 주장 ( assertion ) 은 단순 하 게 코멘트 로서 취급 될 수 있 거나 , 라인 ( 410 ) 은 수동 또는 자동 디버깅 이나 상기 절차 의 정확 성 의 검증 을 지시 하 도록 사용 될 수 있 다 . 라인 ( 411 ) 은 상기 모바일 디바이스 ( 100 ) 상 의 보안 클록 ( 102 ) 과 같 은 보안 시간 의 로컬 소스 가 존재 하 는지 를 결정 한다 ( 단계 ( 302 ) ) . 일 실시 예 에서 , 상기 보안 클록 ( 102 ) 은 상기 모바일 디바이스 ( 100 ) 의 나머지 가 파워 오프 된 후 에 계속 해서 동작 할 수 있 다 . 시간 의 로컬 소스 ( 102 ) 가 안전 한 경우 , 라인 ( 413 ) 은 TestForExpiration 으로 라벨 링 된 구문 들 에서 실행 을 계속 하 도록 지시 한다 ( 도 4 의 단계 ( 304 ) ) . 그렇 지 않 으면 , 실행 은 라인 ( 413 ) 을 계속 따라간다 . 라인 ( 420 ) 은 코멘트 로서 고려 될 수 있 거나 상기 절차 의 정확 성 의 검증 을 위해 사용 될 수 있 다 . 라인 ( 421 ) 은 LicenseParameters 에 의해 참조 된 데이터 구조 에 상기 TimeCallAtAccess 파라미터 의 값 을 결정 한다 ( 도 4 의 단계 ( 303 ) ) . 상기 값 이 참으로 설정 되 면 , 라인 ( 422 ) 은 서비스 제공 자 네트워크 ( 201 ) 상 의 보안 시간 소스 ( 202 ) 로부터 보안 시간 을 검색 하 도록 호출 을 개시 한다 ( 도 4 의 단계 ( 306 ) ) . 상기 호출 이 라인 ( 422 ) 에서 성공 적 으로 보안 시간 을 검색 하 면 , 상기 보안 시간 은 로컬 가변 STime 에 저장 되 며 , 라인 ( 424 ) 는 TestForExpiration 으로 라벨 링 된 구문 들 에서 실행 을 계속 하 도록 지시 한다 ( 도 4 의 단계 ( 304 ) ) .