known_hostsからエントリを消す

unix

定期的に忘れるんだけど、~/.ssh/known_hosts にあるエントリをスクリプトから消すコマンドは、ssh-kengen -R。そもそも known_hosts とは接続したことのある各ホストの公開鍵を保存しているファイルで、普通の文脈だとユーザレベルのファイルである ~/.ss…

2017-10-15

Google Public NTP の Leap Smear

protocol

ずっとエントリ書こうと思っていたんですが、Google Public NTP で使われている Leap Smear についてです。 Leap Smear について書き始めたは良いものの、思っていたよりコンテキストが厚くて、閏秒から話をしないといけませんでした。そうすると、Leap Sme…

2017-10-14

MyFacesでのステートレスビューとCSRF対策の問題(解決済)

java

JSF において、ポストバックに対する CSRF 対策が実装されているというエントリを書きました。ここでは、CSRF 対策トークンの値が javax.faces.ViewState という hidden 値に埋め込まれ、それを改竄した場合は ViewExpiredException が発生するという内容を…

2017-10-01

JSFにおけるCSRF対策

java

CSRF については、一般に正規利用者の意図したリクエストであることを確認することが対策になります。いわゆる徳丸本で紹介されている、具体的な方法としては以下のとおりです。秘密情報(トークン)の埋め込みパスワード再入力 Referer のチェック体系的に…

2017-09-30

JSFにおけるPostback、そしてライフサイクル

java

JSF における Postback とは何なのか、っていうのはなかなか本を見てもわかりませんでした。かといって、こういう概念は実装してもよくわかんなかったりするので、こういうのはやっぱり公式ドキュメントを読んで理解した方が良いだろうと、そこで学んだこと…

2017-09-18

declare、typeset、そして local

shell

declare とか typeset、local まわりの使い方について。まず、declare と typeset は、シノニムなので、この 2 つの差異は考えなくて良いと思います。このため、ここでは declare でひとまとめにして扱いたいと思います。そういうわけで、declare と local…

2017-09-13

シェルスクリプトで部分文字列を切り出す

shell

ときどき、シェルスクリプトで文字列の 3 文字目から 4 文字を切り出したいみたいなユースケースがあって、これまでずっと cut でやってた。 $ echo $str 1234567890 $ echo $str | cut -c3-6 3456 これ、じつは文字列操作でできる。 $ echo ${str:3:4} 4567…