CTIT technical reports series最新文献_第5页

Fine-grained aspects of automatic refactoring in C2Eiffel C2Eiffel中自动重构的细粒度方面

CTIT technical reports series Pub Date : 2011-01-01 DOI: 10.3929/ETHZ-A-007313685

A. Friedli

引用次数: 0

CTIT technical reports series Pub Date : 2011-01-01 DOI: 10.3929/ETHZ-A-007313560

G. Fourny, D. Florescu, Donald Kossmann, Markos Zaharioudakis

{"title":"A Time Machine for XML","authors":"G. Fourny, D. Florescu, Donald Kossmann, Markos Zaharioudakis","doi":"10.3929/ETHZ-A-007313560","DOIUrl":"https://doi.org/10.3929/ETHZ-A-007313560","url":null,"abstract":"With sinking storage costs, it becomes more and more feasible, and popular, to retain past versions of documents and data. While undoing changes is worthy, this becomes even more valuable if the data is queryable. Nowadays, there are two widespread version control paradigms: document versioning (SVN, git, etc.) and versioned databases. The former handles any kind of document, even binary, but only sees lines of text, so that the query capability is limited. The latter provide ne-grained temporal query capabilities on highly structured data - but storing everything in a relational database is not desirable. The goal of this paper is to provide a unied framework for eciently versioning, querying and updating not only data and documents, but also, inbetween, any kind of semi-structured information, like XML.We start with the XQuery programming language and meticulously extend its data model, its syntax and its processing model to make it seamlessly time-aware. We provide data structures and algorithms for the ecient implementation of such a versioning system. Finally, we show that there is no signicant performance loss for traditional queries when enriching an existing engine with versioning capabilities.","PeriodicalId":10841,"journal":{"name":"CTIT technical reports series","volume":"17 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2011-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87191815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Modular Specification and Verification of Delegation with SMT Solvers SMT求解器委托的模块化规范和验证

CTIT technical reports series Pub Date : 2011-01-01 DOI: 10.3929/ETHZ-A-006903018

Ioannis T. Kassios, Peter Müller

引用次数: 4

An O(n^4) time algorithm to compute the bisection width of solid grid graphs 一个O(n^4)时间算法计算实体网格图的等分宽度

CTIT technical reports series Pub Date : 2011-01-01 DOI: 10.3929/ETHZ-A-006935587

A. Feldmann, P. Widmayer

引用次数: 24

Konrad Zuse und die Schweiz 我康拉德·宙斯和瑞士

CTIT technical reports series Pub Date : 2011-01-01 DOI: 10.3929/ETHZ-A-006517565

Herbert E. Bruderer

引用次数: 6

On the relationships between models in protocol verification (extended version) 论协议验证中模型之间的关系(扩展版)

CTIT technical reports series Pub Date : 2011-01-01 DOI: 10.3929/ETHZ-A-006775802

S. Mödersheim

引用次数: 0

Computer-basierte high-stake Leistungskontrolle mit Sioux 以计算机为基础的高风险leistungs控制着苏族

CTIT technical reports series Pub Date : 2010-11-01 DOI: 10.3929/ETHZ-A-006885948

Markus Dahinden, H. Hinterberger

{"title":"Computer-basierte high-stake Leistungskontrolle mit Sioux","authors":"Markus Dahinden, H. Hinterberger","doi":"10.3929/ETHZ-A-006885948","DOIUrl":"https://doi.org/10.3929/ETHZ-A-006885948","url":null,"abstract":"Seit 10 Jahren unterrichtet das Departement Informatik der ETH Zurich rund 600 Studierende der Naturwissenschaften in Informatik computergestutzt. Diese Lehrveranstaltungen werden im Rahmen von Semesterendprufungen oder Sessionsprufungen benotet. Zudem werden formative Lernerfolgskontrollen eingesetzt, um den Lernerfolg zu verfolgen und zu erhohen. Zur Effizienz- und Effektivitatssteigerung fuhren wir seit 2004 diese unbenoteten, formativen Leistungskontrollen am Computer durch. Durch die Entwicklung des neuartigen high-stake Prufungssystems Sioux, welches auf der digitalen Signierung aller Resultate basiert, fuhren wir seit 2009 auch benotete Prufungen am Computer durch. In diesem Bericht beschreiben wir unsere bisher grosste Computer-basierte Leistungskontrolle, welche wir im August 2010 im Rahmen der Basisprufungen der Studiengange Biologie, Pharmazie und Bewegungswissenschaften & Sport mit 269 Studierenden durchgefuhrt haben. Diese wurden in zwei Serien in den offentlichen Computerraumen im Hauptgebaude der ETH Zurich gepruft. Insgesamt standen wahrend der zweimal einstundigen Prufung 18 Personen im Einsatz, welche die rekursfahige Durchfuhrung der Leistungskontrolle garantieren sollten. In diesem Bericht erlautern wir die fur diese Leistungskontrolle notigen Vorabklarungen, die sicherheitsrelevanten Uberlegungen und beschreiben, welche Ablaufstrukturen wir fur diese Leistungskontrolle geschaffen haben. Der Bericht beinhaltet zudem unsere Checklisten und beschreibt das Prufungssystem Sioux sowie die verwendeten Problem-basierten Prufungsfragen.","PeriodicalId":10841,"journal":{"name":"CTIT technical reports series","volume":"53 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2010-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79943611","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Making informatics work for everyone 让信息学为每个人服务

CTIT technical reports series Pub Date : 2010-09-01 DOI: 10.3929/ETHZ-A-006884775

H. Hinterberger

引用次数: 0

Experiments in computer system design 计算机系统设计实验

CTIT technical reports series Pub Date : 2010-07-01 DOI: 10.3929/ETHZ-A-006885986

N. Wirth

引用次数: 1

Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems 基于权限安全模型的应用合谋攻击及其对现代智能手机系统的启示

CTIT technical reports series Pub Date : 2010-04-01 DOI: 10.3929/ETHZ-A-006936208

{"title":"Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems","authors":"Claudio Marforio, AurÃ©lien Francillon, Srdjan Capkun","doi":"10.3929/ETHZ-A-006936208","DOIUrl":"https://doi.org/10.3929/ETHZ-A-006936208","url":null,"abstract":"We show that the way in which permission-based mechanisms are used on today's mobile platforms enables attacks by colluding applications that communicate over overt and covert communication channels. These attacks allow applications to indirectly execute operations that those applications, based on their declared permissions, should not be able to execute. Example operations include disclosure of users private data (e.g., phone book and calendar entries) to remote parties by applications that do not have direct access to such data or cannot directly establish remote connections. We further show that on todayâ€™s mobile platforms users are not made aware of possible implications of application collusion--quite the contrary--users are implicitly lead to believe that by approving the installation of each application independently, based on its declared permissions, they can limit the damage that an application can cause. In this work, we show that this is not correct and that application permissions should be displayed to the users differently (e.g., in their aggregated form), reflecting their actual implications. We demonstrate the practicality of application collusion attacks by implementing several applications and example covert channels on an Android platform and an example channel on a Windows Phone 7 platform. We study free applications from the Android market and show that the potential for application collusion is significant. Finally, we discuss countermeasures that can be used to mitigate these attacks.","PeriodicalId":10841,"journal":{"name":"CTIT technical reports series","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2010-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73783381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 98