encryption - How is TSC (TKIP sequence counter) calculated, in WPA ...