期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Windows Vista用户帐户控制机制的反向建模分析
1
作者 赵栋 罗军 王蕾 《信息网络安全》 2009年第10期49-51,共3页
形式化建模分析是发现系统漏洞的有效方法之一,为了解决正向建模对非开源软件进行分析的困难,本文提出了一种反向建模的分析方法。反向建模是一个反馈式的过程,利用模型检验工具验证分析生成的反例在真实系统中进行确认,若反例没有得到... 形式化建模分析是发现系统漏洞的有效方法之一,为了解决正向建模对非开源软件进行分析的困难,本文提出了一种反向建模的分析方法。反向建模是一个反馈式的过程,利用模型检验工具验证分析生成的反例在真实系统中进行确认,若反例没有得到确认则对模型进行修正,然后再次进行验证,如此反复,直至反例得到确认,即可得到较为准确的模型并发现系统的不足。本文使用该方法对Windows Vista用户帐户控制机制进行了分析,发现了其不足,取得了较好的效果。 展开更多
关键词 WINDOWS VISTA 控制 反向建模
在线阅读 下载PDF
世界最早的复式成本会计记录
2
作者 任钰 《财会月刊》 1996年第1期38-38,共1页
迄今为止,在美国发现的世界上最早的复式成本会计记录,是19世纪上半叶莱曼纺织企业(Lyman Mills)的成本记录。莱曼纺织企业成立于1854年,总部设在波士顿,它在霍尔亚克(Holyoke)地区开设了几家利用水能为动力的棉纺织厂,通过设在纽约的... 迄今为止,在美国发现的世界上最早的复式成本会计记录,是19世纪上半叶莱曼纺织企业(Lyman Mills)的成本记录。莱曼纺织企业成立于1854年,总部设在波士顿,它在霍尔亚克(Holyoke)地区开设了几家利用水能为动力的棉纺织厂,通过设在纽约的代理机构销售其产品。 莱曼纺织企业的会计记录开始于1856年,包括由在波士顿总部的上计长掌管的复式总分类帐和明细分类帐,以及由霍尔亚克工厂管理机构设置的存货、工薪总分类帐和生产辅助分类帐。总部和工厂之间的往来事项必须每天通过主计长和工厂会计人员进行核对霍尔亚克工厂的总分类帐包括流动资产帐、流动负债帐和所有的营业费甲帐,此外还包括两种与现今在产品控制帐户相类似的纺织帐户,一种纺织帐记录生产劣质产品所花费的成本,另一种纺织帐则记录生产优质产品所耗用的成本。 展开更多
关键词 成本会计 总分类 纺织企业 控制帐户 复式 明细分类 棉花成本 间接费 会计记录 辅助分类
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部