日本応用数理学会 (JSIAM: The Japan Society for Industrial and Applied Mathematics)

「数理的技法による情報セキュリティ」研究部会 (FAIS: Formal Approach to Information Security)

2006年に発足した FAIS (「フェイス」と読みます)は，約1年間の研究部会準備会としての活動を経て，2007年度より正式に研究部会として活動を開始しました．

© JSIAM-FAIS    [Japanese | English]