主题：计划投稿，请大牛建议目标 -- 冰与火

有毕业的压力，需要4-5个月内能录用的sci论文一篇。国内学报已头两篇，但结果不可控。

文章内容是关于操作系统安全理论基础的，其内容可以看作一个试用系统范围略有限制（有三条假设，但绝大多数高安全级别系统应该符合这些假设），但分析能力大大提高的access control matrix model,我对这个理论信心的一个来源就是它可以完美地解释现有模型，并且能对现有模型进行很大的扩展。如果这一理论成立，BLP等经典安全模型都可以重写了。

现在，找不到时间合适的会议，从研究方向上说，JACM倒是比较合适，因为我的文章也是满纸定义，定理和证明，但我用的数学技巧都比较初级，文章的精华主要是定义时的形式化描述方式，由于不是专业学数学的，很可能数学表述方式比较丑陋，难免被审稿人theory bias一把。

因此，我希望先能有一个过渡的文章投稿，缓解燃眉之急，再找数学家们改进表达方式，试试高级别的会议或者顶级期刊。