The SAS'01 proceedings are published in the Lecture Notes in Computer Science series (LNCS) by Springer-Verlag as LNCS 2126 and is available through LNCS Online.