Isse - PDFSEARCH.IO - Document Search Engine

Isse
Results: 196

#	Item
121	¨t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:24 Software engineering Abstract state machines Electronic commerce Communications protocol Mondex Smart card Program refinement E Purse Computing Formal methods Payment systems
122	A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:17:34 Software Virtual file system Inode Andrew File System File system Write Stat Open Read System software C POSIX library Computing
123	¨ t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:41 Information Abstract state machines E Communications protocol Purse Transmission Control Protocol Computing Data Data transmission
124	Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:38:47 Disk file systems Flash file systems Embedded Linux Unix UBIFS LogFS Log-structured file system File system Virtual file system System software Computing Software
125	¨ t Augsburg Universita Proving Linearizability with Temporal Logic S. B¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:20:17 Concurrency control Algorithm Mathematical logic Theoretical computer science Non-blocking algorithm Linearizability Stack Temporal logic Logic programming Computing Computer programming Software engineering
126	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:48:53 Predicate logic Predicate transformer semantics Program logic Logic programming B-tree Predicate FO Symbol Theoretical computer science Logic Mathematical logic
127	¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:46 Theoretical computer science Applied mathematics Computer programming Program refinement Abstract state machines Formal verification Formal specification Communications protocol ALGOL 68 Formal methods Computing Software engineering
128	¨t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:45 Transmission Control Protocol Smart card Computing Information ISO standards Smart cards Smart card application protocol data unit
129	Sicherheit von Smart Card-Anwendungen Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) Add to Reading List Source URL: www.isse.uni-augsburg.de Language: German - Date: 2014-11-24 07:50:59
130	¨t Augsburg Universita Verifying Smart Card Applications: An ASM Approach. D.Haneberg, H.Grandy, W.Reif, G.Schellhorn Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:28 Information Dolev-Yao model Public-key cryptography Communications protocol Needham–Schroeder protocol Transmission Control Protocol Smart card Email Cryptographic protocols Cryptography Data