Landrun项目v0.1.4版本发布:精细化文件系统权限控制
Landrun是一个专注于Linux系统安全的开源项目,它通过Landlock这一Linux内核安全模块来实现细粒度的文件系统访问控制。Landlock允许开发者以编程方式定义应用程序的文件系统访问权限,从而构建更加安全的沙箱环境。在最新发布的v0.1.4版本中,项目团队对执行权限的控制机制进行了重大改进,使其更加灵活和精确。
执行权限控制的精细化改进
在之前的版本中,Landrun通过单一的--exec全局标志来控制所有路径的执行权限,这种方式虽然简单,但缺乏灵活性。v0.1.4版本彻底重构了这一机制,引入了更加精细化的控制方式。
新增路径级执行权限标志
新版本增加了两个重要的命令行标志:
--rox:允许对指定路径进行只读访问并具备执行权限--rwx:允许对指定路径进行读写访问并具备执行权限
这种设计使得开发者能够针对不同的路径设置不同的执行权限组合,例如:
- 对于系统库目录可以设置为只读+执行(
--rox) - 对于临时工作目录可以设置为读写+执行(
--rwx) - 对于普通数据目录则保持纯读写或只读
可执行路径的显式配置
除了命令行标志外,v0.1.4还新增了ExecutablePaths配置字段,允许在配置文件中显式定义哪些路径可以执行。这种双重控制机制(命令行+配置文件)为不同部署场景提供了灵活性。
// 示例配置
{
"ExecutablePaths": [
"/usr/lib/",
"/usr/local/bin/"
]
}
技术实现细节
权限检查的辅助函数
为了实现精细化的权限控制,项目新增了getExecutableRights()辅助函数。这个函数会根据路径是否在可执行路径列表中,返回适当的Landlock访问权限掩码。
func getExecutableRights(path string) access.FSSet {
if isExecutablePath(path) {
return access.FsExecute
}
return 0
}
路径匹配优化
为了避免为重叠的路径类别重复注册规则,项目引入了pathInSlice()实用函数。这个函数会检查给定的路径是否已经包含在任何已配置的路径前缀中,从而优化规则生成过程。
向后兼容性考虑
由于移除了全局的--exec标志,v0.1.4版本与之前版本的CLI接口不兼容。项目团队建议用户在升级时:
- 审查现有的执行权限需求
- 将原来的
--exec标志替换为适当的--rox或--rwx标志 - 考虑将常用可执行路径迁移到配置文件中的
ExecutablePaths部分
调试与日志增强
新版本还增强了调试日志功能,特别是在规则注册阶段。现在开发者可以更清晰地看到:
- 每个路径被分配的具体权限
- 规则生成的决策过程
- 潜在的路径冲突或重叠情况
这对于复杂权限模型的调试非常有帮助。
安全最佳实践建议
基于新版本的特性,我们建议以下安全实践:
- 最小权限原则:只为真正需要执行权限的路径启用
--rox或--rwx - 层级控制:优先使用配置文件定义系统级可执行路径,使用CLI标志定义应用级例外
- 审计日志:利用增强的调试日志定期审查权限分配
- 路径规范化:确保配置的路径使用规范化形式,避免因路径表示差异导致权限漏洞
总结
Landrun v0.1.4通过引入路径级的执行权限控制,显著提升了文件系统沙箱的灵活性和精确性。这种改进特别适合需要复杂权限模型的场景,如:
- 需要区分系统二进制文件和用户上传内容的Web服务
- 需要限制插件执行范围的应用程序
- 构建安全的CI/CD执行环境
项目团队通过这次更新,展现了他们对安全性和可用性平衡的深入思考,为Linux应用安全领域贡献了有价值的工具。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
请把这个活动推给顶尖程序员😎本次活动专为懂行的顶尖程序员量身打造,聚焦AtomGit首发开源模型的实际应用与深度测评,拒绝大众化浅层体验,邀请具备扎实技术功底、开源经验或模型测评能力的顶尖开发者,深度参与模型体验、性能测评,通过发布技术帖子、提交测评报告、上传实践项目成果等形式,挖掘模型核心价值,共建AtomGit开源模型生态,彰显顶尖程序员的技术洞察力与实践能力。00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00