-
题名建立汽车型式认证制度依法管理汽车
- 1
-
-
作者
白原新
-
机构
国家汽车质量监督检验中心
-
出处
《监督与选择》
2001年第5期42-43,共2页
-
文摘
据媒体报道,我国汽车行业的管理模式将从贯彻多年的目录管理转变为型式认证管理,下面就汽车型式认证的有关问题谈谈自己的看法。一、依法管理汽车是型式认证的核心现在已是人与车共存的社会,然而随着汽车保有量的不断增加,车速不断提高,汽车给社会带来的负面影响越来越严重,主要表现为汽车行驶安全、环保和能源消耗三大问题。美国每年死于汽车交通肇事的人数占整个非正常死亡人数的23%。
-
关键词
汽车管理
形式认证制度
法律
技术法规
-
分类号
F766
[经济管理—产业经济]
U468
[机械工程—车辆工程]
-
-
题名区块链证据认证形式化问题及克服
- 2
-
-
作者
陈永生
苏泽琳
-
机构
北京大学法学院
-
出处
《浙江工商大学学报》
2024年第5期65-77,共13页
-
基金
国家社会科学基金一般项目“刑事法一体化背景下的轻罪诉讼体系构建研究”(19BFX103)。
-
文摘
区块链证据在司法实践中采信率极高,认证存在严重的形式化倾向,具体表现为:缺乏对取证程序合法性的审查,未区分数据层面的真实与内容层面的真实,对真实性的认证高度依赖第三方意见。认证形式化的成因主要有四个方面:一是误以为区块链证据的防篡改功能具有绝对性;二是混淆了区块链证据载体层面与内容层面的保真;三是误将司法联盟链等同于去中心化的公有链;四是忽视了不同种类区块链证据认证的差异。有鉴于此,有必要严格适用非法证据的排除规则与瑕疵证据的补正规则,明确鉴真规则、传闻规则、原件规则对不同种类区块链证据的区分适用,运用推定规则减轻对推断性事实的证明负担,完善专家辅助人制度以强化法官对区块链证据可靠性的判断能力。
-
关键词
区块链证据
认证形式化
合法性
真实性
可靠性
-
Keywords
blockchain evidence
formalization of scrutiny
legality
authenticity
reliability
-
分类号
D915.3
[政治法律—诉讼法学]
-
-
题名SDN网络边缘交换机异常检测方法
被引量:1
- 3
-
-
作者
赵扬
伊鹏
张震
胡涛
刘少勋
-
机构
解放军战略支援部队信息工程大学信息技术研究所
网络通信与安全紫金山实验室
-
出处
《计算机科学》
CSCD
北大核心
2023年第1期362-372,共11页
-
基金
河南省重大科技专项(智能网联汽车内生安全关键技术研究及示范应用2022012)
国家自然科学基金(61872382,62101598,61521003)。
-
文摘
软件定义网络(SDN)为网络赋予了可编程性,降低了网络管理的复杂性,促进了新型网络技术的发展。SDN交换机作为数据转发与策略执行的设备,其权限不应被未经授权的实体窃取。然而,SDN交换机并不总是执行控制器下发的命令,恶意攻击者通过侵蚀SDN交换机对网络进行隐秘而致命的攻击,严重影响用户的端到端通信质量。通信顺序进程(CSP)作为针对并发系统设计的建模语言,可对SDN交换机-交换机,以及交换机-主机间的交互进行准确的描述。文中使用CSP对SDN交换机、终端主机进行建模,对两种异常交换机定位方法进行理论分析,并在实例化的模型系统中验证检测方法在边缘交换机作为出口交换机恶意转发时的有效性,结果表明无法检测该异常行为。针对这一问题,提出了边缘交换机异常检测方法,主机记录统计信息并通过构造特殊的数据包触发packet_in消息完成与控制器之间的信息传递,控制器收集统计信息并利用边缘交换机与主机之间的统计信息一致性检测边缘交换机的异常传输行为。最后,基于ryu控制器在mininet平台上进行实验,实验结果表明,边缘交换机异常检测方法可以成功检测异常行为。
-
关键词
软件定义网络
数据平面安全
形式化认证与分析
通信顺序进程
受损交换机检测
-
Keywords
Software defined network
Data plane security
Formal authentication and analysis
Communication sequence process
Damaged switch detection
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名正确理解和使用ECDIS
- 4
-
-
作者
胡海刚
张尧
-
机构
宁波大学海运学院
英国船商有限公司上海代表处
-
出处
《世界海运》
2000年第5期11-12,共2页
-
文摘
本文介绍电子海图显示与信息系统 (ECDIS)的应用现状 ,澄清在ECDIS理解和使用方面的一些模糊提法。
-
关键词
ECDIS
形式认证
备份系统
IMO规范
船舶
-
分类号
U675.79
[交通运输工程—船舶及航道工程]
U675.81
[交通运输工程—船舶及航道工程]
-
-
题名也说汽车召回
- 5
-
-
作者
侯小梅
-
出处
《中国汽车维修市场》
2000年第20期20-23,共4页
-
-
关键词
汽车召回制度
形式认证
自我认证
消费观念
-
分类号
F426.471
[经济管理—产业经济]
D922.296
[政治法律—经济法学]
-
-
题名政府对汽车产品的管理
- 6
-
-
-
出处
《机电新产品导报》
1996年第Z4期32-34,共3页
-
文摘
1994年7月我国公布了汽车工业产业政策,产业政策对国家如何管理汽车产品做出了明确的规定,要点是国家依法对汽车产品的安全、污染控制和节能实施管理。依据技术法规实行国际通行的形式认证制度。为使有关部门和全行业对此有更详尽的了解。为此,对国内外情况作个介绍 一、管理观念变化的由来 汽车的安全问题可以说是和汽车同时诞生的。18世纪法国炮兵技术官Cugnot的蒸汽驱动的车子撞到兵营的墙上,可以说是世界上最早的一起汽车事故。随着蒸汽汽车的普及。
-
关键词
汽车产品
污染控制
产业政策
技术法规体系
汽车工业
交通安全
汽车安全
形式认证
主管部门
强制性标准
-
分类号
TH-39
[机械工程]
-
-
题名与食品相关的体系认证和产品认证
被引量:1
- 7
-
-
作者
陈正行
顾亚萍
钱和
-
机构
江南大学食品学院
-
出处
《食品科技》
CAS
北大核心
2007年第1期1-4,共4页
-
基金
无锡市科技攻关项目(锡科计[2005]104号)。
-
文摘
系统介绍了与食品相关的认证体系和产品认证等最新知识,特别介绍了当前比较热门的一些认证形式及其在食品产业尤其是在农产品生产与加工中的应用。
-
关键词
产品认证
体系认证
认证形式
-
Keywords
certification system
product certification
certification forms
-
分类号
TS201.6
[轻工技术与工程—食品科学]
-