3 Thautwarm 解放python的表达力 性能和安全性 语法和语义扩展 JIT 静态检查
解放Python的 表达力,性能和安全性 Thautwarm 目录 CONTENTS 语法和语义扩展 JIT 静态类型 语法和语义扩展 表达力的扩展, 可用性的保留,白来的午餐? 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 语言决定思维模型 GNU-APL C++ Haskell 说 到 质 数 � 人 们 想 到 什 么 � 语言决定思维模型0 码力 | 43 页 | 10.71 MB | 1 年前3OpenShift Container Platform 4.13 认证和授权
在 POD 外部创建绑定服务帐户令牌 第 第 15 章 章 管理安全性上下文 管理安全性上下文约 约束 束 15.1. 关于安全性上下文约束 15.2. 关于预分配安全性上下文约束值 15.3. 安全性上下文约束示例 15.4. 创建安全性上下文约束 15.5. 基于角色的对安全性上下文限制的访问 15.6. 安全性上下文约束命令参考 15.7. 其他资源 第 第 16 章 章 了解并管理 了解并管理 了解并管理 POD 安全准入 安全准入 16.1. 安全性上下文约束与 POD 安全标准同步 16.2. 控制 POD 安全准入同步 16.3. 关于 POD 安全准入警报 16.4. 其他资源 第 第 17 章 章 模 模拟 拟 SYSTEM:ADMIN 用 用户 户 17.1. API 模仿 17.2. 模拟 SYSTEM:ADMIN 用户 17.3. 模拟 SYSTEM:ADMIN 中的工作方式,请参阅评估授权。 您还可以通过项目和命名空间来控制对 OpenShift Container Platform 集群的访问。 除了控制用户对集群的访问外,您还可以控制 Pod 可以执行的操作,以及它可使用 安全性上下文约束 (SCC) 访问的资源。 您可以通过以下任务管理 OpenShift Container Platform 的授权: 查看 本地和集群 角色和绑定. 创建 本地角色 并将其分配给用户或组。0 码力 | 201 页 | 2.74 MB | 1 年前3Kubernetes平台比較:Red Hat OpenShift、SUSE Rancher及 Canonical Kubernetes
Canonical Kubernetes 如何為貴企業選擇合適的Kubernetes發行版本 2022年7月 執行摘要 採用容器優先方法的企業,將能享有無可比擬的機會,協助提升效率及資源使用 率、加強安全性、導入自動化及加速創新;因此Gartner預測將有75%的全球組 織,在2022年之前於正式作業執行容器化應用程式,而這樣的數據並不會讓人 感到驚訝。1 Kubernetes已經成為管理容器化工作負載和服務的頂尖開放原始碼平台,不過 年兩次)。每個次要Rancher管理伺服器版本會維護15個月,之後只會提供安全性 更新。由於Kubernetes版本支援與Rancher版本時程綁定,因此可能會限制彈性, 亦即不一定會支援最新的上游Kubernetes版本。 Canonical Kubernetes支援最新的5個Kubernetes版本。其中最新的3個版本可獲 得完整功能、產品更新及安全性修補程式,比較舊的2個版本則僅獲得安全性更新。 這種更為廣泛的支援方式,可消除 性及可攜性。Containerd可視為業界標準的容器執行階段,也是上游Kubernetes 的預設選項。Canonical Kubernetes及Rancher均支援Containerd。 Kata Containers以安全性為重,將容器置於輕量級VM之中,在容器之間提供更深 度的隔離。Canonical Kubernetes及Red Hat Openshift均支援Kata Containers。 4 CRI-O是Red0 码力 | 10 页 | 1.26 MB | 1 年前3Bootarmor 入门教程和用户手册 0.1.0
传统的二进制代码保护工具,例如 VMProtect, Themedia 等相比较,它们不管 采用虚拟指令,还是各种方式,都离不开操作系统的制约,无法实现绝对的安 全。 并且使用虚拟指令的方式虽然提高了安全性,但是大大降低了性能。 芯片级别的安全性,例如 INTEL® SGX INSTRUCTION 等,需要用户编写专 门的程 序来使用这些特性,对于普通用户来说,对代码要进行重整,工作量 很大,并且 都需要从厂商获得许可。 Bootarmor 从系统引导开始接手,运行于芯片的最高权限级别,全面接管内存 的 管理和分配,然后在次高的权限级别装载并运行 Linux 操作系统,所以其不 受 操作系统的制约,可以提供绝对的安全性。 和虚拟机(VMX)的方式相比,Bootarmor 只接管内存,其它任务还交给操作 系 统来执行,基本不会对性能产生太大的影响。 Bootarmor 目前分为社区版和企业版两个版本。 基本使用教程 编写的应用程序,可以在源代码级别提供更多的安全性选项,具体 请参考 C 用户使用手册 一般来说,转换成为安全应用之后应用程序的代码就无法使用逆向工程进行反 编译,就可以 发布给客户。 但是对于企业版用户来说,可以使用下面的发布功能来进一步加强内核的安全 性。 发布安全应用 备注 发布功能仅适用于企业版,社区版不提供这个功能。 发布功能会对内核进行加壳处理,从而提供更高的安全性,使用下面的命令转 换安全内核为发布模式:0 码力 | 25 页 | 30.29 KB | 1 年前3Bootarmor 入门教程和用户手册 0.1.0
传统的二进制代码保护工具,例如 VMProtect, Themedia 等相比较,它们不管采用虚拟指令,还是各种方式, 都离不开操作系统的制约,无法实现绝对的安全。并且使用虚拟指令的方式虽然提高了安全性,但是大大降 低了性能。 芯片级别的安全性,例如 INTEL® SGX INSTRUCTION 等,需要用户编写专门的程序来使用这些特性,对于 普通用户来说,对代码要进行重整,工作量很大,并且都需要从厂商获得许可。 。 Bootarmor 从系统引导开始接手,运行于芯片的最高权限级别,全面接管内存的管理和分配,然后在次高的 权限级别装载并运行 Linux 操作系统,所以其不受操作系统的制约,可以提供绝对的安全性。 和虚拟机(VMX)的方式相比,Bootarmor 只接管内存,其它任务还交给操作系统来执行,基本不会对性能 产生太大的影响。 3 Bootarmor 入门教程和用户手册, 发布 0.1.0 编写的应用程序,可以在源代码级别提供更多的安全性选项,具体请参考 C 用户使用手册 一般来说,转换成为安全应用之后应用程序的代码就无法使用逆向工程进行反编译,就可以发布给客户。 但是对于企业版用户来说,可以使用下面的发布功能来进一步加强内核的安全性。 2.5 发布安全应用 备注: 发布功能仅适用于企业版,社区版不提供这个功能。 发布功能会对内核进行加壳处理,从而提供更高的安全性,使用下面的命令转换安全内核为发布模式:0 码力 | 29 页 | 300.11 KB | 1 年前3云原生安全威胁分析与能力建设白皮书(来源:中国联通研究院)
设施、平台及 容器的安全威胁过程中,原有的安全体系也产生了变革。主要表现在如下几个方 面: 防护对象产生变化 安全管理的边界扩展到了容器层面,需要采用新的安全策略和工具来保护容 器的安全性,如容器镜像的验证和加密、容器漏洞扫描和运行时监测等。 架构的变化 多云及混合云下的应用架构及工作负载更加复杂,需要采用分布式安全策略 和技术,如服务间的身份验证和授权、服务网格的加密通信、微服务的监测和异 测性、故障自愈能力、 自动化能力、无服务器化能力以及安全性等方面对技术架构进行评估。 4 云原生能力成 熟度模型 第 2 部分:业务应用 由中国信息通信研究院牵头编写,规定了基于云原生构建的业务应用的能力 成熟度评估模型,从服务架构、服务治理能力、弹性伸缩能力、业务高可用、 自动化与智能化、可观测性、开放性、组织架构以及安全性等方面对业务应 用进行评估。 云原生安全威胁分析与能力建设白皮书 至路径 5 的具体攻击手段,进行详细的 分析。 2.2 路径 1:镜像攻击 镜像是一个包含应用/服务运行所必需的操作系统和应用文件的集合,用于 创建一个或多个容器,容器和镜像之间紧密联系,镜像的安全性将会影响容器安 全。图 6 展示了攻击者利用镜像进行攻击的主要方式。 图 6 容器镜像安全风险 2.2.1 镜像投毒攻击 攻击者通过上传恶意镜像到公开仓库或受害者本地仓库,然后将恶意镜像伪0 码力 | 72 页 | 2.44 MB | 1 年前3前端开发者指南(2017)
格式,然而现在它的规范存在于 RFC 7159 以 及 ECMA-404 这两个存在竞争关系的标准当中。其中,ECMA 标准更为轻量,它仅仅描 述了允许使用的语法规则;而 RFC 的规范则在语义和安全性上进行了进一步的考虑。 JSON 官方的因特网媒体类型是 application/json,文件扩展名是 .json。 — 维基百科 概论: Javascript 对象表示法介绍: 中肯实用的 关于网络/浏览器/应用的安全性的学习 浏览器安全性手册 [文章] 前端安全性能 [视频] Hacksplaining [文章] HTML5 安全性参考手册 [文章] HTTP 安全性最佳实践 [文章] 网络开发中的身份和数据安全性: 最佳实践 文章 给网络开发者的安全性建议: 采用 JavaScript, HTML, 和 CSS [文章][付费] 网络应用安全性基础 [文章] 因特网:加密和公钥 因特网:加密和公钥 [视频] 因特网:解密和犯罪 [视频] 错综复杂的网络世界:现代网络应用安全性指导手册 [文章][付费] 网络安全性基础 [文章] 网络安全性 [文章] 学习网络/浏览器/应用的安全 91 多平台开发学习 图片来源: http://bradfrost.com/blog/post/this-is-the-web/ 网站与网络应用总是能够在种类繁多的个人电脑,手提电脑,平板电脑和手机中运行。除此0 码力 | 164 页 | 6.43 MB | 1 年前32024 中国开源开发者报告
AI 辅助研发中心的概念,即在一个组织中,AI 辅助研发中心可以 为不同团队提供 AI 能力,以提升整体的研发效率。需要注意的是,AI 在快速生成大量代码的同 时,也会带来一些问题,如代码质量、安全性等。我们需要考虑如何在 AI 生成代码的同时,保 证代码的质量。 60 / 111 生成式 AI 与低代码平台结合,可以在多个方面实现增强的生产力和创新。文本生成与聊天 机器人、从 PDF 除模型层面外,应用层面的工具同样在快速发展,工具的进步紧密跟随 AI 应用的发展趋势。 自 ChatGPT 发布以来,应用构建方式大致经历了三个阶段。 首先是基于单一提示词模板的聊天助手类应用,此阶段重点关注模型和提示词的安全性以及 模型输出的可控性。例如,garak 可用于检测模型幻觉、数据泄露和生成毒性内容等问题;rebuff 则针对提示词注入进行检测;DSPy 框架提供了系统高效的编程方法,帮助解决应用开发中的 模型的代码生成工具,如 OpenAI 的 Codex 和 GitHub 的 Copilot,已成为开发者的重要助手,能显著地提升开发者的开发效率。 然而,这些工具在带来便利的同时,也带来了代码安全性和质量的新挑战。根据 IDC 数据, 82%的开发者已使用带有智能代码生成功能的工具,而这些开发者中的 71%表示其超过 40%的 代码由这些工具生成。 GitClear 研究检查了 20200 码力 | 111 页 | 11.44 MB | 8 月前3使用Go与redis构建有趣的应用
⽅方法⼆二 —— 使⽤用事务保证安全性 锁的基本实现⽅方法跟之前⼀一样,但使⽤用 Redis 的事务特性保证操作的安全性。 ⽅方法⼆二 —— 使⽤用事务保证安全性 锁的基本实现⽅方法跟之前⼀一样,但使⽤用 Redis 的事务特性保证操作的安全性。 ⾮非 事 务 命 令 执⾏行行器器 命 令 命 令 命 令 命 令 命 令 ⽅方法⼆二 —— 使⽤用事务保证安全性 锁的基本实现⽅方法跟之前⼀一样,但使⽤用 锁的基本实现⽅方法跟之前⼀一样,但使⽤用 Redis 的事务特性保证操作的安全性。 ⾮非 事 务 命 令 事 务 命 令 执⾏行行器器 命 令 命 令 命 令 命 令 命 令 执⾏行行器器 命 令 事 务 命 令 命 令 命 令 命令A 命令B 命令C 需要⽤用到的命令 需要⽤用到的命令 WATCH key [key …] 监视给定的键,如果这些键在事务执⾏行行之前已经被修改,那么拒绝执⾏行行事务 在构建程序的时候⼀一定要确保程序的正确性和安全性,虽然为了了保证这两点常常会使得程序变得 复杂,但有时候⼯工具本身也会提供⼀一些⻥鱼和熊掌兼得的⽅方案。 总结 • Go 和 Redis 都是简单且强⼤大的⼯工具,组合使⽤用它们能够轻⽽而易易举地解决很多过去⾮非常难以实现 或者需要很多代码才能实现的特性(⼜又⿊黑我⼤大 JAVA ,放学别⾛走!)。 • 在构建程序的时候⼀一定要确保程序的正确性和安全性,虽然为了了保证这两点常常会使得程序变得0 码力 | 176 页 | 2.34 MB | 1 年前3Linux就该这么学 第2版
当然,大多数读者应该都是从微软的 Windows 系统开始了解计算机和网络的,因此肯定 会有这样的想法“Windows 系统很好用啊,而且也满足日常工作需求呀”。客观来讲,Windows 系统确实很优秀,但是在安全性、高可用性、高性能方面却难以让人满意。您应该见过下面 这张图片。虽然蓝屏不是经常可以看到的,但若这样的“事故”发生在生产环境中则是绝对 不敢想象的。 大家可以讨论一下,为什么要在需要长 发行套件系统是我们常说的 Linux 操作系统,也就是由 Linux 内核与各种常用 软件的集合产品。 全球大约有数百款的 Linux 系统版本,每个系统版本都有自己的特性和目标人群—有 的主打稳定性和安全性,有的主打免费使用,还有的主要突出定制化强等特点。下面从用户 的角度选出最热门的几款进行介绍。 23 本书全篇将以“Linux 系统”来替代“Linux 发行套件系统”这个词。 的名字。但可惜国内的用 户不买账,看着 Logo 一圈一圈的形状,硬生生地将经念歪了。这么多年下来,现在 反而很少有人听说过蝶变系统这个名字了。 Debian 系统具有很强的稳定性和安全性,并且提供了免费的基础支持,可以良好地适 应各种硬件架构,以及提供近十万种不同的开源软件,在国外拥有很高的认可度和使 用率。虽然 Debian 也是基于 Linux 内核,但是在实际操作中还是跟红帽公司的产品0 码力 | 552 页 | 22.25 MB | 1 年前3
共 536 条
- 1
- 2
- 3
- 4
- 5
- 6
- 54