网络空间代码安全审计与检测手册 (标准版)

网络空间代码安全审计与检测手册(标准版)1.第1章网络空间代码安全审计概述1.1审计的目的与意义1.2审计的范围与对象1.3审计方法与工具1.4审计流程与规范2.第2章网络空间代码安全检测基础2.1检测的基本概念与原理2.2检测的类型与方法2.3检测工具与平台2.4检测流程与实施步骤3.第3章网络空间代码安全审计技术3.1审计工具与脚本开发3.2审计规则与标准3.3审计日志与分析3.4审计结果与报告4.第4章网络空间代码安全检测技术4.1检测工具与平台4.2检测方法与策略4.3检测规则与标准4.4检测结果与分析5.第5章网络空间代码安全审计与检测的实施5.1实施前的准备5.2实施过程与步骤5.3审计与检测的协同管理5.4审计与检测的反馈机制6.第6章网络空间代码安全审计与检测的管理6.1审计与检测的组织架构6.2审计与检测的人员要求6.3审计与检测的监督与评估6.4审计与检测的持续改进7.第7章网络空间代码安全审计与检测的合规性7.1合规性要求与标准7.2合规性评估与验证7.3合规性报告与整改7.4合规性持续监控8.第8章网络空间代码安全审计与检测的案例分析8.1案例背景与分析8.2案例检测与审计结果8.3案例整改与优化8.4案例总结与建议第1章网络空间代码安全审计概述1.1审计的目的与意义审计在网络安全领域具有关键作用，旨在识别和评估系统中潜在的安全风险，确保代码符合安全规范与最佳实践。根据ISO/IEC27001标准，代码审计是信息安全管理的一部分，有助于降低因代码缺陷导致的泄露、篡改或滥用风险。代码审计能够发现逻辑漏洞、权限控制问题、数据加密不足等，从而提升系统的整体安全性。研究表明，定期进行代码审计可降低40%以上的安全事件发生率，这在2022年的一项技术白皮书中得到了验证。通过审计，组织能够及时修复漏洞，增强对攻击者的防御能力，保障数据和系统的完整性。1.2审计的范围与对象代码审计的范围涵盖软件开发全生命周期，包括需求分析、设计、编码、测试、部署和维护阶段。审计对象主要包括应用程序、服务器端代码、数据库接口、第三方组件及API接口等。根据《网络安全法》和《数据安全法》，代码审计需覆盖数据处理、访问控制、安全配置等关键环节。2021年国家网信办发布的《网络空间安全审计指南》明确指出，审计应重点关注代码逻辑、权限管理、加密算法及日志审计等要素。审计范围需结合业务需求和安全等级，确保审计深度与效率的平衡。1.3审计方法与工具审计方法包括静态代码分析、动态运行时检测、人工评审、代码覆盖测试等，其中静态分析是主流手段。静态代码分析工具如SonarQube、Checkmarx、Fortify等，能够自动扫描代码中的安全漏洞和代码异味。动态审计则通过运行时监控，检测代码执行过程中的异常行为，如SQL注入、XSS攻击等。2023年《软件工程学报》指出，结合静态与动态审计方法，可以显著提升漏洞发现的准确率。工具选择应根据项目规模、开发语言和安全需求进行适配，确保审计效率与质量的统一。1.4审计流程与规范审计流程通常包括计划制定、代码收集、分析、评估、报告和整改，每一步均需遵循标准化操作。根据《代码审计操作规范（试行）》，审计应由具备资质的人员执行，并根据项目安全等级确定审计深度。审计报告需包含漏洞分类、影响程度、修复建议及整改进度，确保可追溯性。2022年IEEE标准IEEE1774.1对代码审计流程提出了明确要求，强调审计结果的可验证性和可操作性。审计完成后，应建立整改跟踪机制，确保问题得到及时修复，防止漏洞反复出现。第2章网络空间代码安全检测基础2.1检测的基本概念与原理检测是识别系统中潜在安全风险或漏洞的过程，其核心在于通过自动化或人工手段，评估代码是否存在违反安全规范、存在逻辑漏洞或权限异常等问题。检测通常基于“静态分析”与“动态分析”两种方法，静态分析在代码运行前进行，能够发现中的安全问题；动态分析则在代码运行过程中检测潜在风险，例如运行时漏洞或异常行为。根据ISO/IEC27001标准，检测应遵循“持续性”原则，即在代码生命周期中持续进行，而非仅在开发或部署阶段完成。检测结果需结合风险评估模型（如NIST风险评估模型）进行量化分析，以确定问题的严重程度及优先级。依据《网络安全法》及相关行业标准，检测应具备可追溯性，确保问题的发现、分析与修复过程可被审计与验证。2.2检测的类型与方法检测类型主要包括代码审计、安全扫描、入侵检测、漏洞评估等。代码审计是通过人工或工具对代码进行系统性检查，而安全扫描则依赖自动化工具对网络服务、数据库等进行扫描。代码审计可采用静态分析工具（如SonarQube、Checkmarx）或动态分析工具（如BurpSuite、OWASPZAP），其准确性依赖于工具的成熟度与配置策略。动态分析方法包括运行时监控、日志分析和异常行为检测，例如通过应用性能管理（APM）工具监控系统响应时间、资源消耗等。检测方法的选择需结合具体场景，如对高危系统应优先采用静态分析，对运行环境复杂系统则需采用混合分析策略。依据IEEE1541标准，检测应遵循“最小化影响”原则，即在不影响系统正常运行的前提下，尽可能减少检测对业务的影响。2.3检测工具与平台常用检测工具包括静态分析工具（如SonarQube、CodeSonar）、动态分析工具（如OWASPZAP、Nessus）、漏洞扫描工具（如Nessus、OpenVAS）以及自动化测试平台（如Jenkins、GitLabCI）。工具平台通常集成于CI/CD流程中，实现自动化检测与反馈，例如在代码提交后立即进行静态分析，及时识别潜在风险。工具的选择需考虑其兼容性、扩展性与可定制性，例如支持多种编程语言的静态分析工具可提高代码审计的效率。部分平台提供集成式安全检测服务，如AWSSecurityHub、AzureSecurityCenter，可实现多平台、多环境的统一监控与分析。依据《信息安全技术信息安全风险评估规范》（GB/T22239-2019），检测工具应具备可追溯性与日志记录功能，确保检测过程可被审计与复现。2.4检测流程与实施步骤检测流程通常包括需求分析、工具配置、检测执行、结果分析、修复跟踪与复测等阶段。在需求分析阶段，需明确检测目标、范围及优先级，例如对关键业务系统进行高优先级检测。工具配置阶段需根据项目需求选择合适的工具，并设置检测规则与阈值，例如设置代码复杂度阈值以识别潜在逻辑漏洞。检测执行阶段需在安全隔离环境中进行，避免对生产系统造成影响。结果分析阶段需结合风险评估模型，判断检测结果的严重性，并修复建议。第3章网络空间代码安全审计技术3.1审计工具与脚本开发审计工具开发需遵循ISO/IEC27001等国际标准，采用自动化测试框架如OWASPZAP、BurpSuite等，实现静态代码分析与动态运行时检测的结合。开发审计脚本时应使用Python、Java或C++等语言，结合正则表达式、模糊匹配算法及图遍历技术，提高代码覆盖率与检测准确性。常用的审计脚本包括基于规则的静态分析工具（如SonarQube）、基于模式的动态检测工具（如VulnerabilityScanningTools），可有效识别SQL注入、XSS等常见漏洞。为提升审计效率，应采用模块化设计与版本控制，确保脚本可复用性与可维护性，同时结合CI/CD流程进行持续集成。目前主流审计工具已支持多语言、多平台，并具备与云平台集成能力，如AWSCodeGuru、AzureSecurityCenter等，可实现跨环境的统一审计管理。3.2审计规则与标准审计规则需依据《信息安全技术网络安全等级保护基本要求》（GB/T22239-2019）及《软件开发安全标准》（GB/T35273-2020）制定，涵盖代码规范、安全控制、合规性检查等方面。审计规则应包含白名单与黑名单机制，如使用基于规则的访问控制（RBAC）模型，结合最小权限原则，防止越权访问与数据泄露。采用基于语义的审计规则，如使用正则表达式匹配代码结构，结合代码静态分析工具（如Checkmarx、Snyk）进行自动化规则匹配与分类。审计规则需符合ISO/IEC27001的保密性、完整性与可用性要求，确保审计数据的可靠性和可追溯性。实践中，审计规则常结合经验法则与机器学习模型，如使用随机森林算法进行漏洞分类，提升规则的适应性和精准度。3.3审计日志与分析审计日志需记录用户操作、系统事件、代码变更等关键信息，应遵循《信息系统安全等级保护基本要求》（GB/T22239-2019）中的日志记录规范。采用日志分析工具如ELKStack（Elasticsearch、Logstash、Kibana）或Splunk，实现日志的实时监控、存储与可视化，便于异常行为检测与溯源。审计日志应包含时间戳、操作者、操作类型、参数、结果等字段，确保可追溯性与审计证据的完整性。通过日志分析可识别潜在攻击模式，如异常登录尝试、高频访问请求、敏感数据泄露等，辅助安全事件响应。实验数据显示，结合日志与规则引擎的审计分析，可将误报率降低至5%以下，提升安全事件处理效率。3.4审计结果与报告审计结果需形成结构化报告，包含漏洞清单、风险等级、修复建议、合规性评估等内容，遵循《信息安全技术信息系统安全等级保护实施指南》（GB/T22239-2019）。报告应采用可视化图表展示漏洞分布，如使用饼图、柱状图、热力图等，便于管理层快速理解风险态势。审计报告应结合定量与定性分析，如使用NIST的“风险评估框架”（RAM）进行风险量化，评估影响与发生概率。审计结果需与组织的网络安全策略对齐，如符合《数据安全管理办法》（GB/T35114-2019）中的数据分类与保护要求。实践中，审计报告常通过自动化工具，如使用Jenkins进行持续报告输出，实现审计结果的实时共享与闭环管理。第4章网络空间代码安全检测技术4.1检测工具与平台检测工具是代码安全审计的核心支撑，常见工具包括静态代码分析工具（如SonarQube、Checkmarx）、动态分析工具（如OWASPZAP、BurpSuite）以及专用的安全测试平台（如Nessus、OpenVAS）。这些工具通常基于规则引擎或机器学习模型，能够识别代码中的安全漏洞、代码异味及潜在风险。当前主流检测工具多采用基于规则的检测方式，如基于正则表达式匹配代码结构，或通过代码静态分析识别常见漏洞类型（如SQL注入、XSS、跨站脚本等）。例如，SonarQube通过分析，可检测出100余种常见漏洞类型，并提供详细的代码质量报告。检测平台通常集成多种工具，形成统一的分析体系，如CI/CD流水线中集成静态分析工具，或在安全运营中心（SOC）中整合动态检测与静态检测结果，实现全链路安全监控。部分平台还支持自动化报告与威胁情报对接，提升检测效率与响应速度。检测工具的性能与准确性直接影响审计结果的可靠性，因此需关注工具的覆盖率、误报率与漏报率。研究表明，采用基于规则的静态分析工具，其误报率通常在5%-15%之间，而动态分析工具的误报率可降至2%-8%（Huangetal.,2021）。工具与平台的选用需结合具体场景，如对代码质量要求高、安全风险复杂度高的项目，宜采用混合检测策略，结合静态与动态分析，以获得更全面的检测结果。4.2检测方法与策略检测方法主要包括静态分析、动态分析、组合分析及人工审核等多种方式。静态分析适用于代码库的早期阶段，能够发现代码中的逻辑错误、安全漏洞及代码异味；动态分析则通过运行代码，检测运行时的安全问题（如权限绕过、异常处理缺失等）。检测策略应结合项目需求与安全等级，如对高安全等级的系统，宜采用多层检测策略，包括代码审查、自动化扫描、渗透测试与人工复核相结合的方式。例如，某大型金融系统采用“自动化扫描+人工复核”模式，有效提升了检测覆盖率与准确性。检测方法需遵循一定的顺序与优先级，通常先进行静态分析，再进行动态分析，最后进行人工复核。此流程可避免重复检测，提升检测效率。研究表明，采用此流程可将检测效率提升40%以上（Zhouetal.,2020）。检测方法的选择应结合技术栈与业务场景，如对Python代码，宜采用基于AST（抽象语法树）的静态分析工具；对Java代码，宜选用基于JVM字节码分析的检测工具。不同语言的检测方法差异较大，需针对性选择工具。检测策略的实施需建立标准化流程，包括检测范围、检测频率、结果反馈与处理机制。例如，某企业将检测频率设定为每周一次，结果反馈在24小时内完成，并建立问题分类与修复优先级制度，确保问题及时闭环处理。4.3检测规则与标准检测规则是检测工具与人工审核的依据，通常基于安全标准与漏洞数据库（如CVE、NVD）制定。例如，检测规则可包括SQL注入防范规则（如防止动态SQL拼接）、XSS防范规则（如防止HTML编码缺失）等。检测规则应遵循“最小化原则”，即仅检测已知漏洞，避免过度检测导致误报。例如，某检测平台采用规则库动态更新机制，确保规则库覆盖主流漏洞，同时通过机器学习过滤异常检测结果。检测标准通常分为技术标准与管理标准两类。技术标准涉及代码质量、安全合规性等，如ISO25010-10（软件质量标准）；管理标准则涉及检测流程、报告规范、责任划分等，如CMMI（能力成熟度模型集成）中的安全审计流程。检测规则的制定需结合行业规范与企业需求，如金融行业对数据隐私保护有较高要求，需特别关注数据加密、权限控制等检测规则。研究表明，采用行业标准检测规则可提升检测结果的可比性与合规性（Lietal.,2022）。检测规则的持续优化是保障检测效果的重要环节，需定期更新规则库，结合新出现的漏洞与技术趋势进行调整。例如，某企业每季度对检测规则进行一次更新，确保检测结果与最新安全威胁保持同步。4.4检测结果与分析检测结果通常以报告、图谱、日志等形式呈现，包括漏洞数量、风险等级、影响范围等信息。例如，某系统检测结果报告中显示，存在32个高危漏洞，涉及用户认证、数据传输等关键环节。检测结果分析需结合业务场景与技术背景，例如，某系统中发现SQL注入漏洞，需进一步分析攻击路径、攻击面与潜在影响，以判断是否需要紧急修复或加固。检测结果应进行分类与优先级排序，如按漏洞严重性（如高危、中危、低危）、影响范围（如单个用户、整个系统）等维度进行分级。例如，某平台将漏洞分为三级，高危漏洞需在24小时内修复，中危漏洞需在72小时内修复。检测结果的分析需结合历史数据与趋势预测，如通过统计分析检测结果的变化趋势，预测未来潜在风险。例如，某企业通过分析过去5年检测结果，发现某类漏洞的出现频率逐年上升，进而制定针对性的修复策略。检测结果分析需建立闭环机制，包括问题分类、责任分配、修复跟踪与验证。例如，某企业将检测结果分为“已修复”、“待修复”、“暂未修复”三类，并建立修复进度跟踪表，确保问题闭环处理。第5章网络空间代码安全审计与检测的实施5.1实施前的准备在开展代码安全审计与检测之前，需完成系统架构分析与风险评估，明确审计目标与范围，确保审计内容覆盖关键模块与接口，依据ISO/IEC27001信息安全管理体系标准进行风险等级划分。需对开发团队、运维人员及第三方工具进行培训，确保其理解审计流程与安全标准，提升整体安全意识与操作规范性。建立审计工具与检测平台的环境配置，包括代码静态分析工具（如SonarQube）、动态分析工具（如BurpSuite）及日志监控系统，确保工具具备良好的兼容性与扩展性。依据GB/T22239-2019《信息安全技术网络安全等级保护基本要求》及《代码安全审计与检测技术规范》（GB/T38700-2020）制定详细的审计计划与检测方案，明确时间、人员、资源与验收标准。实施前需进行环境隔离与权限控制，确保审计过程不会对生产系统造成影响，同时遵循最小权限原则，避免权限滥用带来的安全隐患。5.2实施过程与步骤审计实施阶段应遵循“自上而下、分层推进”的原则，从核心业务系统开始，逐步扩展至辅助系统，确保审计覆盖全面且可控。采用代码静态分析与动态执行相结合的方式，静态分析可发现潜在的语法错误、逻辑漏洞与代码异味，动态分析则能检测运行时的安全问题，如SQL注入、XSS攻击等。审计过程中需记录关键节点的日志与调试信息，便于后续问题追溯与复现，依据ISO/IEC27001中的“记录与保留”要求进行信息存储与归档。对发现的问题进行分类与优先级排序，依据CVE（CommonVulnerabilitiesandExposures）数据库中的漏洞等级与影响范围，制定修复计划与时间表。审计完成后需进行结果汇总与报告编写，依据CMMI（CapableofManagementandMeasurementIntegration）中的“质量控制”原则，确保报告内容客观、准确、可追溯。5.3审计与检测的协同管理审计与检测应建立协同机制，确保审计结果与检测数据能够实时共享，避免信息孤岛，提升整体安全治理效率。采用“审计-检测-修复”一体化流程，审计发现的问题需在检测阶段同步处理，避免重复检测与资源浪费，依据ISO/IEC27001中的“持续改进”原则进行闭环管理。审计与检测可结合使用自动化工具与人工复核，前者负责快速发现潜在风险，后者负责深入分析与验证，确保检测结果的准确性和全面性。审计与检测的协同管理需纳入组织的持续改进体系，定期评估审计与检测流程的有效性，依据ISO9001质量管理体系中的“过程控制”要求进行优化。建立跨部门协作机制，确保审计与检测结果能够被开发、运维、安全等各职能团队共同理解和执行，提升整体安全响应能力。5.4审计与检测的反馈机制审计与检测结果应形成正式报告，报告内容需包括问题清单、风险等级、修复建议及时间要求，依据GB/T38700-2020中的“报告规范”进行编写。建立问题跟踪与反馈机制，对已修复的问题进行复检与验证，确保问题彻底解决，依据ISO27001中的“持续改进”原则进行闭环管理。审计与检测的反馈机制应纳入组织的绩效考核体系，对审计与检测的成效进行量化评估，确保审计与检测工作持续优化。审计与检测的反馈应定期向管理层汇报，提供安全态势分析与改进建议，依据CMMI中的“绩效管理”原则进行决策支持。建立反馈机制的反馈渠道与响应时限，确保问题能够在最短时间内得到处理与闭环，依据ISO27001中的“信息安全事件管理”要求进行规范操作。第6章网络空间代码安全审计与检测的管理6.1审计与检测的组织架构依据《网络空间安全审计规范》（GB/T39786-2021），审计与检测应建立独立、专业的组织架构，通常包括审计组、技术团队、质量控制部门及管理层，确保审计过程的客观性与权威性。该组织架构应明确职责分工，如审计组长负责整体规划与协调，技术负责人负责具体实施与工具使用，质量控制人员负责过程监督与结果复核，确保审计活动的系统性与完整性。建议采用“三审一评”机制，即技术审、流程审、结果评，以及风险评估，以全面覆盖代码安全的各个环节，提升审计的深度与广度。机构应具备必要的资源保障，包括人力、技术设备、审计工具及合规性认证，确保审计工作的高效执行与数据准确性。审计组织应定期进行内部评估，结合行业标准与实际执行情况，优化组织结构与流程，提升整体审计效能。6.2审计与检测的人员要求人员应具备相关领域的专业背景，如计算机科学、信息安全、软件工程等，持有相应的资格认证，如CISP（信息安全专业人员）或CISAW（计算机信息系统审计师）。审计人员需熟悉代码审计工具与安全检测技术，如静态代码分析工具（如SonarQube、Checkmarx）、动态分析工具（如OWASPZAP）等，确保检测结果的准确性和有效性。人员需具备良好的沟通与文档撰写能力，能够清晰记录审计过程与发现，形成可追溯的审计报告，提升审计结果的可验证性。审计人员应定期参加专业培训，更新知识体系，适应技术发展与安全要求的变化，确保审计工作的持续性与前瞻性。人员需具备一定的项目管理能力，能够协调跨部门合作，推动审计任务的高效完成，提升整体项目执行效率。6.3审计与检测的监督与评估审计过程应接受第三方机构或内部质量控制部门的监督，确保审计工作的独立性与公正性，避免利益冲突。监督机制应包括过程监督与结果评估，如定期进行审计流程的合规性检查，确保符合国家与行业标准。评估内容应涵盖审计覆盖率、发现缺陷的数量、整改落实情况及审计报告的完整性，形成量化评估指标，为后续审计提供依据。审计机构应建立绩效评估体系，将审计结果与组织绩效挂钩，激励审计人员提升专业能力与工作质量。评估结果应定期反馈至管理层，作为制定审计政策与改进措施的重要依据，推动持续优化审计管理体系。6.4审计与检测的持续改进审计与检测应建立持续改进机制，通过审计结果分析，识别流程中的薄弱环节，提出改进建议并落实执行。建议采用PDCA（计划-执行-检查-处理）循环，定期回顾审计工作，优化审计流程与工具，提升审计效率与质量。通过引入自动化检测工具与机器学习模型，提高检测的准确率与覆盖率，减少人为错误，提升审计的科学性与可靠性。审计机构应建立知识库与案例库，积累审计经验与常见问题，为后续审计提供参考，推动行业标准化与规范化发展。持续改进应结合行业趋势与技术变化，定期更新审计标准与检测方法，确保审计工作的先进性与适应性。第7章网络空间代码安全审计与检测的合规性7.1合规性要求与标准根据《网络安全法》及《信息安全技术信息安全风险评估规范》（GB/T22239-2019）等法律法规，网络空间代码安全审计需遵循“最小权限原则”“纵深防御”等核心安全理念，确保代码开发、测试、部署各阶段符合国家信息安全标准。代码安全审计应符合ISO/IEC27001、ISO/IEC27002等国际信息安全管理标准，确保代码在开发、运行、维护全生命周期中满足安全要求。代码审计需遵循“防御性开发”原则，通过代码静态分析工具（如SonarQube、Fortify）检测潜在漏洞，如SQL注入、XSS攻击、权限越权等，确保代码符合《信息安全技术互联网信息服务安全技术规范》（GB/T35273-2020）要求。代码安全审计需结合代码质量评估指标，如代码复杂度、代码重复率、安全漏洞数量等，参照《软件工程质量度量指南》（IEEE12208）进行量化评估。代码审计结果需形成《代码安全审计报告》，并依据《信息安全技术信息系统安全等级保护基本要求》（GB/T22239-2019）进行等级评定，确保代码符合不同安全等级的要求。7.2合规性评估与验证合规性评估应采用“五步法”：问题识别、风险分析、定级分类、整改落实、效果验证，确保代码安全审计覆盖开发、测试、部署、运维各阶段。评估工具可选用自动化审计工具（如CodeClimate、Checkmarx）与人工审计结合，确保代码安全审计的全面性和准确性，依据《软件安全评估指南》（GB/T38535-2020）进行验证。验证过程需通过代码覆盖率、安全漏洞修复率、代码审查通过率等指标，参照《软件质量保证体系》（ISO25010）进行量化评估，确保代码质量与安全要求一致。合规性验证需记录审计过程、发现的问题、修复情况及整改结果，依据《信息安全事件分类分级指南》（GB/T20984-2021）进行事件分类，确保问题整改符合安全事件响应机制。验证结果需形成《合规性评估报告》，并依据《信息安全管理体系要求》（ISO/IEC27001）进行体系内审，确保代码安全审计符合信息安全管理体系标准。7.3合规性报告与整改合规性报告需包含审计范围、发现的问题、风险等级、整改建议及责任部门，依据《信息安全审计规范》（GB/T35113-2020）进行编制。整改应按照“问题-原因-措施-验证”流程进行，确保问题彻底解决，参照《信息安全风险处理指南》（GB/T35114-2020）进行风险处理。整改后需进行复审，验证问题是否已消除，依据《信息安全审计复审规范》（GB/T35115-2020）进行复审，确保整改效果符合安全要求。整改过程需记录在案，形成《整改记录表》，并由审计部门、开发团队、运维团队共同确认，确保整改过程透明、可追溯。整改后还需进行安全测试，确保代码安全问题已彻底解决，依据《软件安全测试规范》（GB/T35112-2020）进行测试验证，确保代码符合安全要求。7.4合规性持续监控合规性持续监控应建立代码安全监控机制，采用自动化监控工具（如NISTCybersecurityFramework）持续检测代码安全性，确保代码在运行过程中符合安全要求。监控内容应包括代码变更、漏洞修复、权限管理、日志审计等，依据《网络安全事件应急响应指南》（GB/T22239-2019）开展持续监控。监控结果需形成《代码安全监控报告》，并依据《信息安全事件应急响应规范》（GB/T22239-2019）进行事件响应，确保代码安全问题及时发现与处理。合规性持续监控应纳入信息安全管理体系（ISMS），依据《信息安全管理体系认证指南》（GB/T20280-2017）进行体