欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Handle System
来自开放百科 - 灰狐
Handle System是一个多用途的全球命名服务,用来在公众Internet网上进行安全的名字解析和管理.所谓Handle,就是对数据对象和其它Internet资源的一种唯一表识。
Handle System是一个分布式的信息系统,用来提供有效的,可扩展的,安全的全球命名服务,它建立在Internet架构之上,Handle system包括开放式协议,命名空间和一个对协议实现的引用.这个协议使分布式计算机系统存储数字对象和服务的HANDLE,把这些HANDLE解析成必要的信息形式,以便定位,获取,和充分利用.这些相关联的属性能够按需改变,来反映确定资源的当前状态,而不用改变它的Handle值.这样一来,就可以保证数据对象的命名持久性,使其分离于该数据对象的位置及其它当前状态属性的改变.每个Handle在分布式的环境中都有它自己的管理者和管理机构,且名字到属性的绑定可以是安全的,因此可以在信任管理应用中所使用.
Handle System提供了联邦式的命名服务,允许现存的本地命名空间通过获取唯一的Handle System命名权整合到全球的handle命名空间.本地的名字和它们的值绑定后加入了Handle System以保持完整性.任何对本地命名空间的Handle请求可以被使用Handle协议的服务接口所处理,把Handle请求映射到具体名字.一旦和全球唯一的命名权利机构联系起来,任何本地名字在全球命名空间中就可以保持唯一性.
分享您的观点