「資格試験/情報処理技術者試験/情報セキュリティスペシャリスト/過去問2013年春午後２/問１設問３－２」の編集履歴（バックアップ）一覧に戻る
* 設問３ 予約管理機能の不具合について(1)～(4)に答えよ。
(2) 表８を完成させるために、【ｍ】～【ｒ】に入れる適切な字句又は数字を答えよ。
>【ｍ】：5
>【ｎ】：42
>【ｏ】：6
>【ｐ】：55
>【ｑ】：5
>【ｒ】：60
* 解説
設問２につづいて、レースコンディションの穴埋め問題です。
本文抜粋
> 更に、&u(){①空き状態であった予約枠を、顧客αが画面２で選択して画面３に進むのと並行して、同一の予約枠を顧客βが画面２で選択した場合、表８に示す順序で各処理が完了すると、顧客βの個人情報が顧客αの画面４に表示されてしまう}ことが確認できた。
ちょうど下線①の部分がポイントです。設問２はレースコンディションの結果先に仮予約した人の情報が、後から仮予約した人の情報で上書きされてしまいましたが。今回は、「後から更新した人の情報が、先に更新した人の画面に表示される」という現象です。
表８の確認
>** 表８ 個人情報の漏えいにつながる処理の順序
>|順序|対象の顧客|処理|備考|解説|
>|1|α|図５の60行目||「予約状況を確認し、仮予約を行っている」部分|
>|2|α|図６の42行目|&bold(){&color(red){順序１の処理が完了し、10分以上経過してから実行される。}}|仮予約を確定するためにデータを読み出す|
>|3|β|図【ｍ】の【ｎ】行目|||
>|4|α|図【ｏ】の【ｐ】行目|||
>|5|β|図【ｑ】の【ｒ】行目|||
>|6|α|図６の58行目||仮予約を確定にした後で、画面表示のために確定データを読み込む処理|
順序２の備考「&bold(){&color(red){順序１の処理が完了し、10分以上経過してから実行される。}}」は画面２の説明にある以下の部分とリンクしています。
>・予約枠が仮予約状態の場合、&bold(){&color(red){仮予約の有効期間（10分間）を確認}}し、有効期間を過ぎていれば、この顧客の仮予約に置き換えた後に、画面３が表示される。有効期間内の場合は予約失敗の画面（画面省略）が表示される。
「顧客αの仮予約の有効期間が過ぎてから予約確定をしようとしている」ということを読み取らせるヒントです。「有効期間が過ぎた」ということは、「顧客αの仮予約を取り消し、顧客βの仮予約とすることができる」ことを意味しています。
問題のソース
** 図６ サーブレット"KakuteiClick"
#divclass(blackdiv){{
（管理人省略）
48: (4) (4) // 予約状況が仮であり、自分の予約であることを確認する
49: (4) (4) if (rsvStatus == RSV_KARI && rsvUserID.equals(loginUserID)) {
50: (4) (4) (4) // 予約状況を予約確定に変更する
51: (4) (4) (4) psUp.setInt(1, RSV_KARI); psUp.setString(2, loginUserID);
52: (4) (4) (4) psUp.setString(3, toShop); psUp.setString(4, serviceMenu);
53: (4) (4) (4) psUp.setLong(5, nowDateTime); psUp.setString(6, rsvDate);
54: (4) (4) (4) psUp.setString(7, rsvTime); psUp.setString(8, rsvBiyoshi);
55: (4) (4) (4) psUp.executeUpdate();&bold(){&color(red){ ← [ポイント１．予約確定に更新]}}
56: (4) (4) (4) psSel.setString(1, rsvDate); psSel.setString(2, rsvTime);
57: (4) (4) (4) psSetl.setString(3, rsvBiyoshi);
58: (4) (4) (4) rs = psSel.executeQuery();&bold(){&color(red){ ← [ポイント２．更新:結果を読み込んで画面に表示]}}
59: (4) (4) (4) （省略）[rs内のデータを基にして図４の画面４（予約確定）のHTML出力を行う]
60: (4) (4) } else {
（管理人省略）
}}
αのトランザクションが&bold(){&color(red){[ポイント１．予約確定に更新]}}で更新してから、&bold(){&color(red){[ポイント２．更新:結果を読み込んで画面に表示]}}でデータを読み込んで画面に表示している…この間にβのトランザクションが更新したら、「αの画面にβの情報が表示される」という現象が発生します。これを図にすると以下のようになります。
|順序|対象の顧客|処理|備考|
|1|α|図６の55行目|&bold(){&color(red){[ポイント１．予約確定に更新]}}|
|2|β|図？の？行目||
|3|α|図６の58行目|&bold(){&color(red){[ポイント２．更新:結果を読み込んで画面に表示]}}|
順序２のβの更新はどこになるでしょうか？本文中の下線①に「同一の予約枠を顧客βが画面２で選択した場合」とあるので、画面２の説明を見てみましょう。
>画面２ 予約状況
>（画像省略）
>・各予約枠内で、○は仮予約状態又は空き状態を、×は予約済み状態を示す。
>・&bold(){&color(red){[○を選択するとサーブレット”WakuClick”が呼び出される。}}
>・その予約枠が空き状態であれば仮予約状態とした後に、画面３が表示される。
>・予約枠が仮予約状態の場合、仮予約の有効期間（10分間）を確認し、&bold(){&color(red){[有効期間を過ぎていれば、この顧客の仮予約に置き換え}}た後に、画面３が表示される。有効期間内の場合は予約失敗の画面（画面省略）が表示される。
「&bold(){&color(red){[○を選択するとサーブレット”WakuClick”が呼び出される。}}」「&bold(){&color(red){[有効期間を過ぎていれば、この顧客の仮予約に置き換え}}」とあるので、「図５の”WakuClick”で顧客βが、顧客αの仮予約を上書きした」と読めます。
** 図５ サーブレット"WakuClick" 抜粋
#divclass(blackdiv){{
（省略）
54: (4) (4) // 予約状況が空きであることを確認し、仮予約処理を行う
55: (4) (4) if (rsvStatus == RSV_AKI) {
56: (4) (4) (4) psUp.setInt(1, RSV_KARI); psUp.setString(2, loginUserID); psUp.setString(3, "");
57: (4) (4) (4) psUp.setString(4, ""); psUp.setLong(5, nowDateTime);
58: (4) (4) (4) psUp.setString(6, rsvDate);
59: (4) (4) (4) psUp.setString(7, rsvTime); psUp.setString(8, rsvBiyoshi);
60: (4) (4) (4) psUp.executeUpdate(); &bold(){&color(red){← [仮予約に更新]}
61: (4) (4) (4) （省略）[図６の処理を引き継ぐために、選択した予約枠の情報をサーブレットのセッション情報に保存する]
62: (4) (4) (4) （省略）[画面３のHTML出力を行う]
（省略）
}}
** 図５ サーブレット"WakuClick"終わり
図５の60行目で顧客βの更新が入って、図６の58行目でそのデータを読み込み画面に表示しているのです。これを図に反映すると以下のようになります。
|順序|対象の顧客|処理|備考|
|1|α|図６の55行目|ポイント１．予約確定に更新|
|2|β|図５の60行目|&bold(){&color(red){[１と２の間に、顧客βの仮予約で更新}}|
|3|α|図６の58行目|ポイント２．更新:結果を読み込んで画面に表示|
ちなみに、この図は、表８の順序456にそのまま該当するので、残るは順序３の処理だけです。
** 表８ 個人情報の漏えいにつながる処理の順序
|順序|対象の顧客|処理|備考|
|1|α|図５の60行目||
|2|α|図６の42行目|順序１の処理が完了し、10分以上経過してから実行される。|
|3|β|図【ｍ】の【ｎ】行目||
|4|α|図&bold(){&color(red){[５}}の&bold(){&color(red){[55}}行目||
|5|β|図&bold(){&color(red){[６}}の&bold(){&color(red){[60}}行目||
|6|α|図&bold(){&color(red){[６}}の&bold(){&color(red){[58}}行目||
[[設問に戻る>資格試験/情報処理技術者試験/情報セキュリティスペシャリスト/過去問2013年春午後２/問１#設問]]
