欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
RADIUS 是一个AAA协议,意思是指支持认证(authentication)、授权(authorization)及记账(accounting)三种服务的协议(protocol)。
RADIUS 常用于Wi-Fi无线网络。
<discussion>characters_max=300</discussion>