-
公开(公告)号：CN112100633A
公开(公告)日：2020-12-18
申请号：CN202010961708.9
申请日：2020-09-14
申请人： 浙江大学 , 杭州光通天下网络科技有限公司
IPC分类号： G06F21/60
摘要： 本发明公开一种基于B方法的Android访问控制建模与安全性分析方法，该方法利用形式化语言B对Android访问控制中的安全属性和关键操作进行规约并建模，通过模型检测验证安全性。该方法提供了一种对Android访问控制建模并安全性分析的新方法，针对权限机制进行形式化抽象，设计组件实体抽象机并构建基础模型，在此基础上建立基于调用链、基于IPC追踪和基于细粒度策略的扩展模型，最后根据定理证明及模型检测结果分析该访问控制的安全性，为操作系统的安全机制建模和系统安全证明提供了一种实际有效的途径。
-
公开(公告)号：CN112333174A
公开(公告)日：2021-02-05
申请号：CN202011178993.3
申请日：2020-10-29
申请人： 杭州光通天下网络科技有限公司
摘要： 本发明提供了一种反射型DDos的IP扫描探测系统，包括端口探测模块、消息队列模块、数据存储模块和IP识别探测模块；所述端口探测模块用于扫描识别目标IP集内的特定端口开放信息；所述消息队列模块用于缓存各个部分信息，在端口探测模块扫描时，实时推送至消息队列模块，消息队列模块将数据存储至数据库；所述数据存储模块用于数据的存储，数据存储模块中存储的数据包括由端口采集模块采集到的所有端口数据和IP识别探测模块的IP以及放大倍率数据；所述IP识别探测模块用于，监听固定端口、IP及倍率统计、伪造端口发送探测报文。
-
公开(公告)号：CN112183794A
公开(公告)日：2021-01-05
申请号：CN202010983489.4
申请日：2020-09-17
申请人： 杭州光通天下网络科技有限公司
摘要： 本申请涉及基于双中台同步会议信息的方法和系统，其中，通过会议室预定系统获取用户的预定信息，根据该预定信息判断预定会议是否为培训会议，在预定会议为培训会议的情况下，将预定信息存入缓存数据库中，该缓存数据库将预定信息同步到屏幕音频录制系统，该屏幕音频录制系统录制屏幕和接收音频，生成音视频文件，将预定信息和音视频文件导入在线学习系统，解决了会议室预订系统和在线学习系统单独运行，会议室预定和培训内容的上传的处理流程比较繁琐的问题，提高了会议室预定和培训内容的上传的处理效率。
-
公开(公告)号：CN112333174B
公开(公告)日：2022-08-23
申请号：CN202011178993.3
申请日：2020-10-29
申请人： 杭州光通天下网络科技有限公司
摘要： 本发明提供了一种反射型DDos的IP扫描探测系统，包括端口探测模块、消息队列模块、数据存储模块和IP识别探测模块；所述端口探测模块用于扫描识别目标IP集内的特定端口开放信息；所述消息队列模块用于缓存各个部分信息，在端口探测模块扫描时，实时推送至消息队列模块，消息队列模块将数据存储至数据库；所述数据存储模块用于数据的存储，数据存储模块中存储的数据包括由端口采集模块采集到的所有端口数据和IP识别探测模块的IP以及放大倍率数据；所述IP识别探测模块用于，监听固定端口、IP及倍率统计、伪造端口发送探测报文。
-
公开(公告)号：CN112269738B
公开(公告)日：2023-04-07
申请号：CN202011156479.X
申请日：2020-10-26
申请人： 杭州光通天下网络科技有限公司
IPC分类号： G06F11/36 , H04L67/1095 , H04L67/1097 , H04L67/00
摘要： 本发明公开了一种CTF靶场调试方法、装置、电子设备及介质，涉及网络安全技术领域，用于解决相关技术中由于CTF靶场的调试受运行环境限制使得操作繁琐及在调试或检测出错的情况下检错效率低的问题，其中，该方法包括：服务器设备获取题目镜像；服务器设备根据题目镜像生成第一容器和第二容器；服务器设备接收调试请求，基于调试请求控制第二容器进行调试，并得到调试信息；服务器设备接收比对请求，基于比对请求调取第一容器中与调试信息对应的信息，并记为参考信息。本发明具有不受运行环境的限制、操作简单及检错效率高的优点。
-
公开(公告)号：CN112269738A
公开(公告)日：2021-01-26
申请号：CN202011156479.X
申请日：2020-10-26
申请人： 杭州光通天下网络科技有限公司
摘要： 本发明公开了一种CTF靶场调试方法、装置、电子设备及介质，涉及网络安全技术领域，用于解决相关技术中由于CTF靶场的调试受运行环境限制使得操作繁琐及在调试或检测出错的情况下检错效率低的问题，其中，该方法包括：服务器设备获取题目镜像；服务器设备根据题目镜像生成第一容器和第二容器；服务器设备接收调试请求，基于调试请求控制第二容器进行调试，并得到调试信息；服务器设备接收比对请求，基于比对请求调取第一容器中与调试信息对应的信息，并记为参考信息。本发明具有不受运行环境的限制、操作简单及检错效率高的优点。
-
公开(公告)号：CN112016873A
公开(公告)日：2020-12-01
申请号：CN202010906458.9
申请日：2020-09-01
申请人： 杭州光通天下网络科技有限公司
IPC分类号： G06Q10/08
摘要： 本发明公开了一种安全设备出库管理方法、系统、电子设备和计算机存储介质，涉及库存管理技术领域，旨在实现物资紧缺告警和物资的合理发放。其中，所述方法包含以下步骤：采集库存余量；当所述库存余量小于或者等于告警值时，发出告警提示信息；当所述出货时间大于或者等于所述补货时间的情况下，则根据所述出货时间和所述出货数量进行出货处理；当所述出货时间小于所述补货时间的情况下，计算当前可出货数量；根据所述当前可出货数量和所述发货时间进行发货处理。
-
公开(公告)号：CN116308653A
公开(公告)日：2023-06-23
申请号：CN202310244474.X
申请日：2023-03-07
申请人： 浙江大学
IPC分类号： G06Q30/0601 , G06Q50/30
摘要： 本说明书提供了一种基于交通仿真的拼车方法及相关设备。该方法包括：获取第一时段内的多个拼车订单各自的订单信息；基于预先训练得到的交通仿真模型，获取目标区域在第二时段内的交通仿真结果；所述第二时段包含所述第一时段；所述交通仿真结果包括仿真得到的所述目标区域在所述第二时段内的动态交通状况；基于所述多个拼车订单各自的订单信息以及所述交通仿真结果，为所述目标区域内的多个服务车辆中的空闲车辆匹配所述多个拼车订单中对应的至少一个拼车订单。
-
公开(公告)号：CN115690012A
公开(公告)日：2023-02-03
申请号：CN202211274472.7
申请日：2022-10-18
申请人： 浙江华云信息科技有限公司 , 国网浙江省电力有限公司金华供电公司 , 浙江大学
IPC分类号： G06T7/00 , G06T7/12 , G06T7/90 , G06V10/762
摘要： 本发明公开了一种电能表接错线的检测方法，涉及电能表检测技术领域。传统的电能表错误接线检测需要经过训练的电工进行定期现场检测，这一依赖人力劳动的电表错误接线检测方法工作量大、效率低。本发明步骤包括构建电能表图像数据集，训练目标检测模型，检测接线区域，识别电线和接线顺序，判断接线是否正确。本方法通过图像检测方式快速直观地得出检测结果，相较于传统人工排查方式，人力物力投入少，大大降低了现场排查人员工作量，提高了检测效率。
-
公开(公告)号：CN112100633B
公开(公告)日：2022-04-05
申请号：CN202010961708.9
申请日：2020-09-14
申请人： 浙江大学 , 光通天下网络科技股份有限公司
IPC分类号： G06F21/60
摘要： 本发明公开一种基于B方法的Android访问控制建模与安全性分析方法，该方法利用形式化语言B对Android访问控制中的安全属性和关键操作进行规约并建模，通过模型检测验证安全性。该方法提供了一种对Android访问控制建模并安全性分析的新方法，针对权限机制进行形式化抽象，设计组件实体抽象机并构建基础模型，在此基础上建立基于调用链、基于IPC追踪和基于细粒度策略的扩展模型，最后根据定理证明及模型检测结果分析该访问控制的安全性，为操作系统的安全机制建模和系统安全证明提供了一种实际有效的途径。
-
-
-
-
-
-
-
-
-
搜索结果
25 条记录 (耗时 0.07 秒)
