Edizione	[1st ed. 2005.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica	1 online resource (XII, 376 p.)
Disciplina	005.8/2
Collana	Security and Cryptology
Soggetto topico	Cryptography Data encryption (Computer science) Operating systems (Computers) Electronic data processing—Management Computers and civilization Computer networks Algorithms Cryptology Operating Systems IT Operations Computers and Society Computer Communication Networks
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Threat and Attacks -- Fraud Within Asymmetric Multi-hop Cellular Networks -- Protecting Secret Data from Insider Attacks -- Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling -- Invited Speaker -- Trust and Swindling on the Internet -- Digital Signing Methods -- Identity-Based Partial Message Recovery Signatures (or How to Shorten ID-Based Signatures) -- Time Capsule Signature -- Policy-Based Cryptography and Applications -- Panel -- A Chat at the Old Phishin’ Hole -- Modeling and Preventing Phishing Attacks -- Helping the Phish Detect the Lure -- Who’d Phish from the Summit of Kilimanjaro? -- Privacy -- A Privacy-Protecting Coupon System -- Testing Disjointness of Private Datasets -- Hardware Oriented Mechanisms -- RFID Traceability: A Multilayer Problem -- Information-Theoretic Security Analysis of Physical Uncloneable Functions -- Supporting Financial Transactions -- Risk Assurance for Hedge Funds Using Zero Knowledge Proofs -- Probabilistic Escrow of Financial Transactions with Cumulative Threshold Disclosure -- Systems, Applications, and Experiences -- Views, Reactions and Impact of Digitally-Signed Mail in e-Commerce -- Securing Sensitive Data with the Ingrian DataSecure Platform -- Ciphire Mail Email Encryption and Authentication -- Message Authentication -- A User-Friendly Approach to Human Authentication of Messages -- Approximate Message Authentication and Biometric Entity Authentication -- Exchanges and Contracts -- Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model -- Achieving Fairness in Private Contract Negotiation -- Auctions and Voting -- Small Coalitions Cannot Manipulate Voting -- Efficient Privacy-Preserving Protocols for Multi-unit Auctions -- Event Driven Private Counters -- Works in Progress -- Secure Distributed Human Computation -- Secure Multi-attribute Procurement Auction -- Audit File Reduction Using N-Gram Models -- User Authentication -- Interactive Diffie-Hellman Assumptions with Applications to Password-Based Authentication -- Secure Biometric Authentication for Weak Computational Devices -- Panel Summary: Incentives, Markets and Information Security.
Record Nr.	UNISA-996465824003316

Edizione	[1st ed. 2016.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica	1 online resource (X, 253 p. 62 illus.)
Disciplina	004.0151
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Computer science Compilers (Computer programs) Computer simulation Electronic data processing—Management Machine theory Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Computer Modelling IT Operations Formal Languages and Automata Theory
ISBN	3-319-49815-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Intro -- Preface -- Organization -- Contents -- Invited Talks -- Formal Model-Based Constraint Solving and Document Generation -- 1 Animation and Constraint Solving for B -- 2 Model-Based Constraint Solving -- 3 Model-Based Document Generation -- 4 A Portfolio of Constraint Solving Examples in B -- 4.1 Graph Colouring -- 4.2 Graph Isomorphism -- 4.3 N-Queens and Bishops -- 4.4 Golomb Ruler -- 4.5 Sudoku and Latin Squares -- 4.6 Coins Puzzle -- 5 External Data Sources and Data Validation -- 5.1 External Data Sources -- 5.2 Data Validation Example -- 6 Discussion -- References -- Formal Testing from Natural Language in an Industrial Context -- 1 Overview -- 2 Tools -- 2.1 Test Generation with TaRGeT -- 2.2 Test Automation with Zygon -- 3 Underlying Formalisms -- 3.1 Process Algebraic Approach to Test Generation -- 3.2 Contract Based Approach to Consistent Automation -- 4 Ongoing Work: Integrated Framework -- References -- Analysis and Verification -- Application of Formal Methods to Verify Business Processes -- 1 Introduction -- 2 Theoretical Framework -- 2.1 Timed Automata (TA) -- 2.2 Business Process Model and Notation (BPMN) -- 2.3 Clocked Computation Tree Logic (CCTL) -- 3 BP-Task Model -- 4 Mapping Rules to Specify and Verify BPMN Models Using TA -- 5 CRM Application Example -- 5.1 CRM Task Model -- 5.2 CRM Properties -- 5.3 CRM Verification -- 6 Conclusion and Future Work -- References -- An Approach for Verifying Educational Robots -- 1 Introduction -- 2 Simulating Robot Programs -- 2.1 Overview of the Verification Approach -- 3 Formalising the Robot -- 3.1 Communicating Sequential Processes -- 3.2 Robot Formal Specification -- 4 Verifying Robot Programs -- 5 Integrating the Approach with Educational Tools -- 6 Conclusions -- References -- Verigraph: A System for Specification and Analysis of Graph Grammars -- 1 Introduction. 2 Algebraic Graph Transformation -- 2.1 Example -- 2.2 Generalization and Other Approaches -- 3 Architecture Overview and Data Structures -- 4 Implemented Analysis Techniques -- 4.1 Critical Pair Analysis -- 4.2 Critical Sequence Analysis -- 4.3 Calculation of Concurrent Rules -- 4.4 State Space Exploration and Model Checking -- 4.5 Inter-Level Conflict Analysis -- 5 Related Work -- 5.1 AGG -- 5.2 GROOVE -- 5.3 Preliminary Performance Evaluation -- 6 Conclusions -- References -- Modeling and Logic -- Modelling `Operation-Calls' in Event-B with Shared-Event Composition -- 1 Introduction -- 2 Event-B -- 3 An Overview of Event-B Components -- 4 Procedure-Style Interface Events -- 4.1 Procedural Interface Events -- 4.2 Translation of the Call -- 4.3 The Combined Event Representation -- 5 Function-Style Interface Events for Use in Expressions -- 5.1 Functional Interface Events -- 5.2 Translation of the Call -- 5.3 The Combined Event Representation -- 6 Discussion and Related Work -- 6.1 A Comparison with the Modularisation Approach -- in More Detail -- 7 Conclusions -- References -- Algebraic Foundations for Specification Refinements -- 1 Introduction -- 2 Preliminaries -- 3 A Category of Refinements -- 3.1 Heterogeneous Refinements -- 4 Data Refinement -- 5 Related Work and Conclusions -- References -- On Interval Dynamic Logic -- 1 Introduction -- 2 An Ł-Fuzzy Dynamic Logic -- 2.1 The Łukasiewicz Action Lattice -- 2.2 The Ł-Fuzzy Dynamic Logic -- 3 Ł-Interval Algebra -- 3.1 On the Interval Łukasiewicz Lattice -- 4 The Price -- 5 Conclusion and Further Work -- References -- An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications -- 1 Introduction -- 2 A Motivating Example -- 3 An Evolutionary Algorithm for Learning Declarative Specifications -- 3.1 Genes and Chromosomes to Represent Candidate Specifications. 3.2 Fitness of Candidate Specifications -- 3.3 Overall Structure of the Genetic Algorithm for Learning Specifications -- 4 Validation -- 4.1 Assessment -- 5 Related Work -- 6 Conclusions and Future Work -- References -- A Refinement Repair Algorithm Based on Refinement Game for KMTS Models -- 1 Introduction -- 2 KMTS Refinement -- 2.1 Preserving Refinement Through KMTS Modifications -- 3 Refinement Game -- 4 Refinement Repair -- 4.1 Refinement Repair Algorithm -- 5 Conclusions and Future Works -- References -- Massive Open Online Courses and Monoids -- 1 Introduction -- 2 Examples, Semantics and Chomsky Classification -- 2.1 Learn Syntax: Formal and by Example -- 2.2 Learn Descriptions Are Partially-Ordered Monoids -- 3 Maude -- 4 Learn Maude Toolkit -- 4.1 Learn Descriptions as Rewrite Theories -- 4.2 Learn to Maude Transformer -- 4.3 Learn to HTML Transformer -- 5 Related Work -- 6 Conclusions -- References -- Model Checking -- A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems -- 1 Introduction -- 2 Concurrent Software Systems -- 3 Three-Valued Bounded Model Checking -- 4 Propositional Logic Encoding -- 5 Extension to Fairness -- 6 Implementation -- 7 Related Work -- 8 Conclusion and Outlook -- References -- Model Checking Requirements -- 1 Introduction -- 2 Syntactic and Semantic Analyses of Requirements -- 3 CNL to NuSMV -- 3.1 Requirement Frame Pre-processing -- 3.2 Mapping Variables -- 3.3 Inferring the Types of the Variables -- 3.4 Building Transitions -- 3.5 NuSMV Code Generation -- 4 CNL to CTL -- 4.1 Natural-CTL -- 4.2 Implementation of a Syntax-Directed Translation -- 5 Case Study -- 5.1 Example: The Coffee Vending Machine -- 5.2 Retrieving the Variables -- 5.3 Inferring the Types of the Variables -- 5.4 Code Generation -- 5.5 Specifying Properties -- 6 Related Work -- 7 Conclusions -- References. Refinement Verification of Sequence Diagrams Using CSP -- 1 Introduction -- 2 Background -- 2.1 Sequence Diagrams -- 2.2 CSP -- 3 Semantics and Refinement -- 3.1 Semantics -- 3.2 Refinement -- 4 Tool -- 5 Case Study -- 6 Related Work -- 7 Conclusion -- References -- Author Index.
Record Nr.	UNINA-9910483284603321

Edizione	[1st ed. 2013.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica	1 online resource (XII, 364 p. 97 illus.) : digital
Disciplina	005.1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Algorithms Computer science—Mathematics Discrete mathematics Computer science Electronic data processing—Management Artificial intelligence—Data processing Discrete Mathematics in Computer Science Mathematics of Computing Theory of Computation IT Operations Data Science
ISBN	3-642-38756-X
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996466301103316

Edizione	[1st ed. 2012.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica	1 online resource (XVII, 370 p. 77 illus.)
Disciplina	005.1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Algorithms Computer science—Mathematics Discrete mathematics Computer science Electronic data processing—Management Artificial intelligence—Data processing Discrete Mathematics in Computer Science Mathematics of Computing Theory of Computation IT Operations Data Science
ISBN	3-642-29700-5
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations / Bryan He -- Succinct Strictly Convex Greedy Drawing of 3-Connected Plane Graphs / Jiun-Jie Wang and Xin He -- Weighted Inverse Minimum Cut Problem under the Sum-Type Hamming Distance / Longcheng Liu, Yong Chen, Biao Wu and Enyu Yao -- Voronoi Diagram with Visual Restriction / Chenglin Fan, Jun Luo, Wencheng Wang and Binhai Zhu -- Minimization of the Maximum Distance between the Two Guards Patrolling a Polygonal Region / Xuehou Tan and Bo Jiang -- On Covering Points with Minimum Turns / Minghui Jiang -- On Envy-Free Pareto Efficient Pricing / Xia Hua -- Online Pricing for Multi-type of Items / Yong Zhang, Francis Y. L. Chin and Hing-Fung Ting -- Algorithms with Limited Number of Preemptions for Scheduling on Parallel Machines / Yiwei Jiang, Zewei Weng and Jueliang Hu -- Computing Maximum Non-crossing Matching in Convex Bipartite Graphs / Danny Z. Chen, Xiaomin Liu and Haitao Wang -- Algorithms for Bandwidth Consecutive Multicolorings of Graphs / (Extended Abstract) / Kazuhide Nishikawa, Takao Nishizeki and Xiao Zhou. Independent Domination on Tree Convex Bipartite Graphs / Yu Song, Tian Liu and Ke Xu -- On-Line Scheduling of Parallel Jobs in Heterogeneous Multiple Clusters / Deshi Ye and Lili Mei -- On Multiprocessor Temperature-Aware Scheduling Problems / Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli, Evangelos Markakis and Ioannis Milis -- Online Minimum Makespan Scheduling with a Buffer / Yan Lan, Xin Chen, Ning Ding, György Dósa and Xin Han -- A Dense Hierarchy of Sublinear Time Approximation Schemes for Bin Packing / Richard Beigel and Bin Fu -- Multivariate Polynomial Integration and Differentiation Are Polynomial Time Inapproximable Unless P=NP / Bin Fu -- Some Remarks on the Incompressibility of Width-Parameterized SAT Instances / Bangsheng Tang -- Kernels for Packing and Covering Problems / (Extended Abstract) / Jianer Chen, Henning Fernau, Peter Shaw, Jianxin Wang and Zhibiao Yang -- The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter / Junping Zhou and Minghao Yin -- Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations / Chihao Zhang and Hongyang Zhang -- On Editing Graphs into 2-Club Clusters / Hong Liu, Peng Zhang and Daming Zhu. Solving Generalized Optimization Problems Subject to SMT Constraints / Feifei Ma, Jun Yan and Jian Zhang -- Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition / Yanyan Xu, Wei Chen, Kaile Su and Wenhui Zhang -- Zero-Sum Flow Numbers of Regular Graphs / Tao-Ming Wang and Shih-Wei Hu -- More Efficient Parallel Integer Sorting / Yijie Han and Xin He -- Fast Relative Lempel-Ziv Self-index for Similar Sequences / Huy Hoang Do, Jesper Jansson, Kunihiko Sadakane and Wing-Kin Sung -- A Comparison of Performance Measures via Online Search / Joan Boyar, Kim S. Larsen and Abyayananda Maiti -- Online Exploration of All Vertices in a Simple Polygon / Yuya Higashikawa and Naoki Katoh -- In-Place Algorithms for Computing a Largest Clique in Geometric Intersection Graphs / Minati De, Subhas C. Nandy and Sasanka Roy -- The Black-and-White Coloring Problem on Distance-Hereditary Graphs and Strongly Chordal Graphs / Ton Kloks, Sheung-Hung Poon, Feng-Ren Tsai and Yue-Li Wang -- An Improved Approximation Algorithm for the Bandpass Problem / Weitian Tong, Randy Goebel, Wei Ding and Guohui Lin -- Partial Degree Bounded Edge Packing Problem / Peng Zhang -- Erratum: The Approximability of the Exemplar Breakpoint Distance Problem / Zhixiang Chen, Bin Fu and Binhai Zhu.
Record Nr.	UNISA-996465995203316

Edizione	[1st ed. 2011.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica	1 online resource (XIII, 390 p. 85 illus., 20 illus. in color.)
Disciplina	005.1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Algorithms Computer science—Mathematics Discrete mathematics Computer science Electronic data processing—Management Artificial intelligence—Data processing Discrete Mathematics in Computer Science Mathematics of Computing Theory of Computation IT Operations Data Science
ISBN	3-642-21204-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996465637903316