Sandwichsauce的博客

线性代数 网络与信息安全期末复习PPT.pptx 网络与分布式计算期末复习 数据库期末复习 软件架构设计期末复习 软件测试期末复习 离散数学复习 计网夏令营面试复习 计算机网络期末复习 计算机操作系统期末复习 计算机操作系统 面试复习 -面试复习专业课提纲

这是我自己做的ipad的goodnotes上的手账模版，可以用来记录每日的工作呀～只要导入goodnotes就可以用啦。

IT项目管理（原书第5版）Information Technology Project Management 机械工业出版社 杨坤译

第1章+OO概述-UML概述.ppt 第2章+类与对象图.ppt 第3章+包图.ppt 第4章+用例图.ppt 第5章+顺序图.ppt 第6章+活动.ppt 第7章+协作图.ppt 第8章+状态图.ppt 第9章+构建部署.ppt

Alansari2017- A Distributed Access Control System for Cloud Federations .pdf Anon2017-Detecting Privileged Side-Channel Attacks in Shielded Execution with Déjà Vu.pdf Arnautov2016- SCONE Secure Linux Containers with Intel SGX.pdf Atamli-Reineh2015 - Securing Application with Software Partitioning.pdf B2017 -Securing Data Analytics on SGX With.pdf Bahmani2016 - Secure Multiparty Computation from SGX.pdf Barbosa2016- Foundations of Hardware-Based Attested Computation and Application to SGX.pdf Bauman2016-A Case for Protecting Computer Games With SGX.pdf Baumann2014- Shielding applications from an untrusted cloud with Haven-haven.pdf Beekman2016- Attestation Transparency Building secure Internet.pdf BehlJDistlerT2017-Hybrids on Steroids-SGX-Based High Performance BFT∗.pdf Bhardwaj2016-Fast, scalable and secure onloading of edge functions using AirBox.pdf Boneh2017 - Surnaming Schemes, Fast Verification, and Applications to SGX Technology.pdf Brekalo2016-Mitigating Password Database Breaches with Intel SGX.pdf Brenner2017- Secure Cloud Micro Services Using Intel SGX.pdf CacheZoom - how sgx amplifies the power of cache attacks.pdf ChakrabartiSLeslie-HurdRVijM -Architecture for Oversubscription of Secure Memory.pdf ChakrabartiSLeslie-HurdRVijM-Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment .pdf Choi2017 - S-OpenSGX A system-level platform.pdf Costan2016-Sanctum Minimal Hardware Extensions for Strong Software.pdf Coughlin2017 -Trusted Click-Overcoming Security issues of NFV in the Cloud.pdf Dang2017-Proofs of Data Residency-Checking whether Your Cloud Files Have Been Relocated .pdf Elastic and Secure Energy Forecasting in cloud environments.pdf Fetzer2016-Building Critical Applications Using Microservice.pdf Gkantsidis2017- And Then There Were More.pdf Glamdring-Automatic Application Partitioning for Intel SGX.pdf Glimmers-Resolving the Privacy-Trust Quagmire.pdf Gotzfried2017-Cache Attacks on Intel SGX.pdf Gu2017 - Secure Live Migration of SGX Enclaves on Trusted Cloud.pdf Haider2017- Leveraging hw isolation for Process L (2).pdf Han2017-SGX-Box Enabling Visibility on Encrypted Traffic.pdf Hunt2016-Ryoan- A Distributed Sandbox for Untrusted .pdf Hutchison2011-HardIDX_ Practical and Secure Index with SGX.pdf Iron - Functional Encryption using Intel SGX.pdf Jackson2017 -Trust is in the Keys of the Beholder.pdf Jacomme2017 - Symbolic Models for Isolated Execution Environments.pdf KarandeVBaumanELinZ2017-SGX-Log-Securing System Logs With SGX.pdf Kelbert2017 - SecureCloud Secure Big Data Processing in Untrusted Clouds.pdf Leaky Cauldron on the Dark Land.pdf Leslie-Hurd2015-Verifying Linearizability of IntelR Software Guard Extensions.pdf Leveraging Intel SGX to Create a Nondisclosure Cryptographic library.pdf LightBox-SGX-assisted secure network functions.pdf Lind2016 - Teechan - Payment Channels Using TEE.pdf Lind2017 - Teechain-scalable blockchain payments using TEE.pdf Link2016-Automatic Enforcement of Expressive Security Policies using Enclaves.pdf Nguyen2017- EnGarde-Mutually-Trusted Inspection of SGX Enclaves.pdf Ohrimenko2016- Oblivious Multi-Party Machine Learning on Trusted Processors.pdf On Making Emerging TEE Accessible to Developers.pdf Paladi2016-TruSDN_ Bootstrapping Trust in Cloud Network Infrastructure.pdf Pires2016 - Secure Content-Based Routing Using SGX.pdf Pires2017- A lightweight MapReduce framework for secure processing with SGX.pdf Proof of Luck- an Efficient blockchain consensus protocol.pdf rollback and forking detection for trusted execution environments using lightweight (2).pdf Rollback and Forking Detection for Trusted Execution environments using lightweight.pdf SAFETY - Secure gwAs in Federated Environment.pdf Sasy-ZeroTrace- Oblivious Memory Primitives from Intel SGX.pdf Schuster2015- VC3-Trustworthy Data Analytics in the Cloud using SGX.pdf sec17-lee-jaehyuk.pdf sec17-lee-sangho.pdf sec17-van_bulck.pdf Seitzer2015-A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory.pdf Seo2017 - SGX-Shield -Enabling Address Space Layout Randomization for SGX Programs.pdf Shepherd2017a- Secure and Trusted Execution-Past .pdf Shinde2015 - Preventing Page Faults from Telling Your Secrets.pdf Sinha2015- Moat Verifying Confidentiality of Enclave Programs.pdf Stewin2016 - Malware Guard Extension_ Using SGX to Conceal Cache Attacks.pdf Strackx2016-Developing Secure SGX Enclaves New Challenges on the Horizon.pdf Strackx2016a - Ariadne-A Minimal Approach to State Continuity.pdf Swami2017 - Intel SGX Remote Attestation is not sufficient.pdf Tamrakar2017-The Circle Game-Scalable Private Membership Test Using Trusted Hardware.pdf Tramer2016 - Sealed-Glass Proofs.pdf Tsai2017 -Graphene-SGX.pdf Tychalas2017-SGXCrypter.pdf Volp2016-Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control .pdf Weichbrodt2016-AsyncShock - Exploiting Synchronisation Bugs in Intel SGX Enclaves.pdf Weiser2017 - SGXIO- Generic Trusted IO Path for Intel SGX.pdf Weisse2017 - Regaining Lost Cycles with HotCalls.pdf XingBCShanahanM2016-Intel__ Software Guard Extensions (Intel__ SGX) Software Support for Dynamic Memory Allocation inside an Enclave.pdf Xu2015-Controlled-Channel Attacks_ Deterministic Side Channels for Untrusted Operating Systems.pdf ZeroTrace- Oblivious Memory Primitives from Intel SGX.pdf Zhang2016 - Town Crier.pdf Zhang2017-REM Resource-Efficient Mining for Blockchains.pdf

实验目的 综合运用基于android平台的智能移动终端软件开发技术。 实验内容 设计实现一个智能移动终端软件应用，至少包含3个相互关联的应用功能，具有较好的用户界面和实际的应用价值以及合理的功能模块结构。 设计方案 实现一个日记本。分为登录界面、日记列表界面、日记内容界面、日记查找界面、日记新建界面。使用SQLiteDatabase数据库存储日记内容。 首先要有一个LoginActivity，输入密码，点击按钮，判断密码是否正确后，用intent跳转到MainActivity。 MainActivity主要包括activity_main里列表的关联，实现点击列表时跳转到show_content_diary日记内容界面，启动ShowContentDiary活动。同时，MainActivity还实现了菜单的初始化，使用上下文菜单，包括搜索和新建功能。MainActivity里还有Set_refresh_data函数，用于初始化和删除日记之后刷新列表。 Note是一个日记信息类，类似于结构体。里面有set和get方法。 NoteAdapter类继承了ArrayAdapter，相当于是Note数组对象的适配器，用来包装Note数据，很好地实现数据和界面分离。 AddNewDiary这个类用于新建一则日记，使用add_new_diary.xml界面，这里没有实现图片添加功能，只是用Toast说明，除此之外，会自动写好时间、日期，只需要添加标题和内容即可。 要创建一个数据库的帮助类，这样使用起SQLiteDatabase就方便了。这和sql查询语言类似，创建、查询、删除……

教育背景 2007.09-2011.07 广州一杯水大学 人力资源管理 ● 主修课程 管理学、宏观经济学、管理信息系统、统计学、会计学、财务管理、人力资源管理，劳动经济学、 绩效管理、薪酬与福利、培训与开发、招聘与配置，人力资源规划，劳动法，人力资源管理软件。 工作经验 2010.07-2011.07 广州一杯水经济开发有限公司 人事助理 ● 人事招聘工作：每天更新网路招聘信息，参现场招聘； ● 行政部的考勤，排班和公司的各部门的月末考勤。 ● 员工的入职、离职手续办理。员工劳动合同的签订，续签与管理。 2011.08-2013.03 广州市一杯水汽车销售服务有限公司 人事专员 ● 每月公司社保的办理，各种证件的年审工作。 ● 负责公司每个月的考勤与员工劳动合同的签订、续签与管理。 ● 负责公司部分固定资产，并组织相关部门进行季度的盘点工作。 2013.04-2015.06 广州一杯水建材有限公司 人事主管 ● 公司管理制度的编写修订及执行落实； ● 人事工作的监督及主导人员招聘配置、培训、及薪资、福利管理； ● 监督公司报刊出版及各种活动的组织策划管理； 自我评价 性格开朗，具有良好的服务意识和组织、沟通协调能力，能够承受较大的工作压力。有多年人事、行政工作经验，对行 政后勤事务,人事日常管理、人力资源6大模块熟悉，对招聘、员工关系、绩 效考核管理有独到的见解；了解各项劳动法律 法规，对劳资纠纷有较好的应对能力，熟悉人事行政相关文件的编写，熟练操作办公软件及报刊制作等软件;愿在人力资源 管理方面发展。 技能证书 人力资源证 英语六级 全国计算机等级考试一级 熟练操作办公软件，EFP系统， 考勤系统，报刊制作软件。

ClosesPoints.java EuclidDivisor.java IntegerPartition.java Investment.java Knapsack.java LCS.java Load.java MatrixChain.java MaxSumSeg.java MNS.java MyComputer.java MyPoint.java MyStringMatch.java Perm.java PicCompress.java PiComputer.java Queen.java RandomTest.java Search.java ShortestPath.java Sort.java TSP.java 算法实验 所有代码

• 软件测试的正向理解 o 验证软件的正确性，给用户以信心。 • 软件测试的反向理解 o 检测程序的错误，发现以前未发现的错误。 • 狭义的软件测试 o 仅仅指动态测试，运行程序以检测错误，验证软件是否符合用户需求，是否可以正常工作。 • 广义的软件测试 o 不仅是动态地运行程序，还包括程序代码、设计、文档的审查活动，是静态测试+动态测试。 • 测试=V&V o verification验证：验证程序是否满足文档中说明的需求。 o validation有效性确认：确认软件满足用户的真正需求。 • TestOracle的来源，如何确定预期测试结果 o 软件测试结果的正确性，有时不易判断。testoracle的来源主要有用户期望、产品愿景、竞品、常识、数据统计等。当给定一个测试用例的输入时，要把经过该系统的实际输出与测试预言所期望的输出结果作对比。 • 黑盒测试 o 把一个软件看做一个黑盒，我们不关心程序内部结构，只关心输入数据和输出数据。 • 白盒测试 o 把盒子打开，分析程序源代码和结构的测试。 • 静态测试 o 不实际运行程序，而只是静态地对代码、界面和文档进行审查，发现其中的不合理或者错误。 • 动态测试 o 实际运行程序，给定一个测试用例输入，看程序的输出是否与预期输出相符的测试。 • 单元测试 o 又称模块测试，针对软件设计中最小的单位——程序模块进行测试，检验其正确性的过程。 • 集成测试 o 又称组装测试，在单元测试的基础上，将所有的程序模块进行有序的、递增的测试。 • 系统测试 o 将软件系统看做一个整体进行测试，包括对系统的功能测试、性能测试以及运行系统的软硬件环境的测试。

本 书 介 绍 了 关 于 软 件 应 用 建 模 和 设 计 的 知 识 。 从 UML 中 的 用 例 到 软 件 体 系 结 构 ， 本 书 展 示 了 在 解 决 现 实 世 界 问 题 的 过 程 中 如 何 应 用 COMET ， 介 绍 了 针 对 各 种 体 系 结 构 的 模 式 （ 包 括 客 户 端 / 服 务 器 以 及 基 于 构 件 的 软 件 体 系 结 构 中 的 客 户 端 / 服 务 模 式 ， 面 向 服 务 的 体 系 结 构 中 的 代 理 、 发 现 和 事 务 模 式 ， 实 时 软 件 体 系 结 构 中 的 实 时 控 制 模 式 ， 软 件 产 品 线 体 系 结 构 中 的 分 层 模 式 ） 和 软 件 质 量 属 性 （ 包 括 可 维 护 性 、 可 修 改 性 、 可 测 试 性 、 可 追 踪 性 、 可 伸 缩 性 、 可 复 用 性 、 性 能 、 可 用 性 和 安 全 性 ） 。 此 外 ， 还 包 含 了 四 个 案 例 研 究 （ 包 括 银 行 系 统 、 在 线 购 物 系 统 、 应 急 监 控 系 统 和 自 动 引 导 车 辆 系 统 ） 。 本 书 非 常 适 合 作 为 高 等 院 校 相 关 专 业 高 年 级 本 科 生 或 研 究 生 软 件 工 程 课 程 的 教 材 ， 同 时 适 合 对 大 规 模 软 件 系 统 的 分 析 、 设 计 和 开 发 感 兴 趣 的 软 件 工 程 师 阅 读 参 考 。

Applications are increasingly critical for ensuring business success, mission completion, and even human safety.The standard approach to building critical applications relies on a bottom-up strategy: we must begin with a dependable foundation—the correct CPU and system software—on top of which we build and run our critical applications. However, ensuring the correctness of the CPU and system software (OS, hypervisor, resource management system, and so on) is a grand challenge. In response, Gerwin Klein and his colleagues proposed and demonstrated formal methods to prove the correctness of a microkernel-based system.[1] 应用程序对于确保商业成功，任务完成，甚至人类安全都越来越重要。开发一个关键的应用程序，其标准方法是建立在自底向上的策略之上的：我们必须从一个可靠的基础开始——比如正确的CPU和系统软件——构建和运行我们的关键应用程序。然而，确保CPU和系统软件（操作系统、管理程序、资源管理系统等）的正确性是一个巨大的挑战。对此，Gerwin Klein和他的同事们提出了正式的方法来证明一个基于微内核系统的正确性。[1]

• 第一章 计算机网络和因特网 o 1、什么是Internet，其具体组成是什么？ ♣ Internet是万网之网，它能够提供大量基础服务和网络应用编程接口。 ♣ 它由亿万数目计算机设备、通信链路、交换设备、协议等组成。 o 2、什么是ISP？ ♣ 因特网服务器提供商（Internet Service Provider） ♣ 一个由多个分组交换机和多段通信链路组成的网络。 • 通信链路：由不同类型的物理媒体组成。 • 分组交换机：如路由器、链路层交换机

o 1、什么是数据库、数据库管理系统、数据库系统？ ♣ 数据库：长期存在计算机中，有组织的，可共享的，结构化的，相关的大量数据的集合。 ♣ 数据库管理系统：是建立在操作系统之上的软件系统，它负责管理和维护数据库中的数据，同时给用户提供一个访问方法的接口。 ♣ 数据库系统：是一个由数据库、数据库管理系统、应用程序和数据库管理人员等组成的系统，它负责数据的存储、处理和维护。

• 第一讲 o 什么叫操作系统 ♣ 计算机操作系统是指控制和管理计算机的软、硬件资源，合理组织计算机的工作流程，方便用户使用的程序集合。 o 操作系统的三个作用 管理者 ……虚拟机 ♣ 计算机系统软硬件资源的管理者。 ♣ 为用户提供一台等价的扩展机器或虚拟机。 ♣ 最重要、最基本、最复杂的系统程序，控制应用程序执行的程序。 o 操作系统的发展历史 每一代思想 特别是分时系统 （现代的都是分时）定义特点优缺点 ♣ 第一代：手工操作 • 1945-1955 • 使用机器语言 • 无操作系统 • 用于数学计算 • 输入输出：插件版、纸带、卡片 • 计算机处理能力日益提升，而手工操作效率低下，造成了资源浪费。 ♣ 第二代：单批道处理系统 • 1955-1965 • 用于大型机 • 使用汇编语言，FORTRAN，作业 • FMS（Fortran Monitor System），IBSYS（IBM为7094机配备的操作系统） • 用于较复杂的科学工程计算 o 联机批处理 o 脱机批处理 • 机时在走来走去中浪费掉 • 优点：同一批作业自动依次更替，改善了主机CPU和I/O设备的使用效率，提高了吞吐量。 • 主要问题：CPU和I/O设备使用忙闲不均，取决于作业特性。 o 计算为主的作业，外设空闲； o I/O为主的作业，CPU空闲。 ♣ 第三代：多批道处理系统 • 1965-1980 • 使用集成电路 • 操作系统：庞大、复杂 • 多道：内存中同时存放几个作业。 • 几项新技术：Multiprogramming，Spooling • 优点： o 资源利用率高（CPU、内存、I/O） o 作业吞吐量大 • 缺点： o 用户交互性差 o 作业平均周转时间长 ♣ 第四代：分时系统 • 70年代中期至今 • 多个用户分享使用同一台计算机。多个程序分时共享硬件和软件资源。 • 通常按时间片分配：各个程序在CPU上执行的轮换时间。 • 操作系统：CTSS（M.I.T.）、Multics（computer community） • 特征： o 同时性 ♣ 也称多路性。若干用户同时与一台计算机相连，宏观上看各个用户在同时使用计算机，他们是并行的；微观上看各个用户在轮流使用计算机。 o 交互性 ♣ 用户通过终端设备（如键盘、鼠标）向系统发出请求，并根据系统的响应结果再向系统发出请求，直至得到满意的结果。 o 独立性 ♣ 每个用户使用各自的终端与系统交互，彼此独立、互不干扰 o 及时性 ♣ 指用户向系统发出请求后，应该在较短的时间内得到响应。 ♣ 新发展：个人计算机、实时系统、网络与分布式系统、移动计算…… o 什么叫中断 ♣ 中断：指CPU在收到外部中断信号后，停止原来工作，转去处理该中断事件，完毕后回到原来断点继续工作。 ♣ 通道：用于控制I/O设备与内存间的数据传输。启动后可独立与CPU运行，实现CPU与I/O的并行。 o 中断的处理机制

5-1为每种模块的耦合举一个具体例子 5-2为每种模块的内聚举一个具体例子 5-3用面向数据流的方法设计下列系统的软件结构

在软件开发的早期阶段为什么要进行可行性研究？应该从哪些方面研究目标系统的可行性？为方便储户，银行拟开计算机储蓄系统。储户填写的存款单或取款单由业务员键入系统，系统记录存款人姓名、住址、存款类型、存款日期、利率等信息，并印出存款单给储户；如果是取款，系统计算利息并引出利息清单给储户。请写出问题定义，并分析此系统的可行性。

某交易所规定给经纪人的手续费计算方法如下：总手续费等于基本手续费加上交易中的每股价格和股数有关的附加手续费。如果交易金额少于1000元，则基本手续费为交易金额的8.4%；如果交易金额在1000元到10000元之间，则基本手续费为交易金额的5%，再加上34元；如果交易金额超过10000元，则基本手续费为交易金额的4%加上134元。每股售价低于14元时，附加手续费为基本手续费的5%，除非买进卖出的股数不是100的倍数，在这种情况下附加手续费为基本手续费的9%。当每股售价在14元到25元之间时，附加和手续费为基本手续费的2%，除非交易的股数不是100的倍数，在这种情况下附加手续费为基本手续费的6%。当每股售价超过25元时，如果交易的股数零散（即，不是100的倍数），则附加手续费为基本手续费的1%。

2.1 可行性研究的任务及内容 2.2 可行性研究过程 2.3 系统流程图 2.4 数据流图 2.5 数据字典 2.6 成本/效益分析 2.7 小结 习题