期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
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
职称材料
题名
Windows Vista用户帐户控制机制的反向建模分析
1
作者
赵栋
罗军
王蕾
机构
国防科技大学
出处
《信息网络安全》
2009年第10期49-51,共3页
基金
国家"863"计划资助项目(2007AA01Z461)
文摘
形式化建模分析是发现系统漏洞的有效方法之一,为了解决正向建模对非开源软件进行分析的困难,本文提出了一种反向建模的分析方法。反向建模是一个反馈式的过程,利用模型检验工具验证分析生成的反例在真实系统中进行确认,若反例没有得到确认则对模型进行修正,然后再次进行验证,如此反复,直至反例得到确认,即可得到较为准确的模型并发现系统的不足。本文使用该方法对Windows Vista用户帐户控制机制进行了分析,发现了其不足,取得了较好的效果。
关键词
WINDOWS
VISTA
用
户
帐
户
控制
反向建模
分类号
TP316.7 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
世界最早的复式成本会计记录
2
作者
任钰
出处
《财会月刊》
1996年第1期38-38,共1页
文摘
迄今为止,在美国发现的世界上最早的复式成本会计记录,是19世纪上半叶莱曼纺织企业(Lyman Mills)的成本记录。莱曼纺织企业成立于1854年,总部设在波士顿,它在霍尔亚克(Holyoke)地区开设了几家利用水能为动力的棉纺织厂,通过设在纽约的代理机构销售其产品。 莱曼纺织企业的会计记录开始于1856年,包括由在波士顿总部的上计长掌管的复式总分类帐和明细分类帐,以及由霍尔亚克工厂管理机构设置的存货、工薪总分类帐和生产辅助分类帐。总部和工厂之间的往来事项必须每天通过主计长和工厂会计人员进行核对霍尔亚克工厂的总分类帐包括流动资产帐、流动负债帐和所有的营业费甲帐,此外还包括两种与现今在产品控制帐户相类似的纺织帐户,一种纺织帐记录生产劣质产品所花费的成本,另一种纺织帐则记录生产优质产品所耗用的成本。
关键词
成本会计
总分类
帐
纺织企业
控制帐户
复式
明细分类
帐
棉花成本
间接费
会计记录
辅助分类
帐
分类号
F23 [经济管理—会计学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Windows Vista用户帐户控制机制的反向建模分析
赵栋
罗军
王蕾
《信息网络安全》
2009
0
在线阅读
下载PDF
职称材料
2
世界最早的复式成本会计记录
任钰
《财会月刊》
1996
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部