Jianyuan Lab
面向网联汽车的对外通信安全测试，正在从“单一接口或单一协议的检测”逐步走向“多通信机制协同验证”的阶段
2026-01-23
面对SDK泛滥带来的安全挑战，唯有通过开发者、厂商、研究社区与监管机构的协同努力，建立更严格的审核机制，推行隐私优先的设计理念，强化动态的监测响应能力，才能共同构筑一个既充满创新活...
2026-01-23
SmartRocket Modeler基于严谨的理论和工程实践，为高可信嵌入式软件的开发提供了从建模、验证到代码生成的全流程支持
2026-01-23
集成测试，正是我们构建高质量、高可靠性软件系统中那道承上启下、不可或缺的防火墙
2026-01-23
本文主要基于蓝牙协议5.2版本对蓝牙协议栈的架构进行分析介绍
2026-01-22
汽车API已成为连接车辆与数字生态系统的关键纽带，在提供便捷服务的同时也带来了严峻的信息安全挑战
2025-08-28
基于模型的测试用例生成作为一种新兴且高效的测试方法，正逐渐成为解决这一问题的重要手段
2025-08-28
在自动化测试、软件验证、漏洞挖掘等领域，有一项技术正在不断释放巨大的潜力，那就是——符号执行
2025-08-28
本文旨在系统分析WiFi协议的安全缺陷及攻击技术，结合典型案例与防御策略，探讨如何构建更健壮的无线网络防护体系
2025-05-19
该标准为整车厂及其供应链提供了全面的信息安全技术基线，成为汽车产业信息安全合规建设的重要里程碑
2025-05-06
数据耦合和控制耦合是复杂软件设计中常见的一种情况
2025-04-03
数据流分析通过追踪变量状态在程序执行路径中的传播过程，为精准识别空指针引用、资源泄漏等隐蔽缺陷提供了系统性解决方案
2025-02-19
