LEADER 04437nam 22008175 450 001 9910483981003321 005 20230221032723.0 010 $a3-319-23021-2 024 7 $a10.1007/978-3-319-23021-4 035 $a(CKB)4340000000001084 035 $a(SSID)ssj0001584828 035 $a(PQKBManifestationID)16263788 035 $a(PQKBTitleCode)TC0001584828 035 $a(PQKBWorkID)14866159 035 $a(PQKB)11122626 035 $a(DE-He213)978-3-319-23021-4 035 $a(MiAaPQ)EBC6283973 035 $a(MiAaPQ)EBC5587223 035 $a(Au-PeEL)EBL5587223 035 $a(OCoLC)921301972 035 $a(PPN)190528095 035 $a(EXLCZ)994340000000001084 100 $a20150908d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Informatics $e6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /$fedited by Andreas Maletti 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (VIII, 223 p. 21 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9270 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-23020-4 327 $aLearning Weighted Automata -- More Than 1700 Years of Word Equations -- An Algebraic Geometric Approach to Multidimensional Words -- Why We Need Semirings in Automata Theory -- Unbordered Pictures: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory -- On differential uniformity of maps that may hide an algebraic trapdoor -- On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics -- A New Partial Key Exposure Attack on Multi-power RSA -- A Chomsky-Schutzenberger Theorem for Weighted Automata with Storage -- EF+EX Forest Algebras -- On near prime-order elliptic curves with small embedding degrees -- Key-Policy Multi-Authority Attribute-Based Encryption -- Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree -- Complexity of Uniform Membership of Context-Free Tree Grammars -- Attacking BEAR and LION schemes in a realistic scenario -- Weighted Restarting Automata and Pushdown Relations -- Equivalence checking problem for finite state transducers over semigroups. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9270 606 $aComputer science 606 $aMachine theory 606 $aCryptography 606 $aData encryption (Computer science) 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCryptology 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCryptology. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 676 $a004 702 $aMaletti$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483981003321 996 $aAlgebraic Informatics$92954948 997 $aUNINA