123,123,123

內(nèi)容簡(jiǎn)介

　　《有限自動(dòng)機(jī)及在密碼學(xué)中的應(yīng)用》主要研究有限自動(dòng)機(jī)的可逆性理論及其在密碼學(xué)上的應(yīng)用。此外，也討論自治有限自動(dòng)機(jī)和拉丁陣，它們與有限自動(dòng)機(jī)單鑰密碼的標(biāo)準(zhǔn)形有關(guān)。有限自動(dòng)機(jī)是被認(rèn)為是密碼的自然模型?！队邢拮詣?dòng)機(jī)及在密碼學(xué)中的應(yīng)用》作者提出并發(fā)展了RaRb變換方法，用它徹底解決了有限域上（擬）線性有限自動(dòng)機(jī)的結(jié)構(gòu)問(wèn)題。與經(jīng)典的線性系統(tǒng)“傳輸函數(shù)方法”不同，RaRb變換方法可推廣到非線性有限自動(dòng)機(jī)；大量弱可逆有限自動(dòng)機(jī)及其弱逆可用它產(chǎn)生，這就導(dǎo)致基于有限自動(dòng)機(jī)的公開(kāi)鑰密碼（簡(jiǎn)記為FAPKC）的提出。《有限自動(dòng)機(jī)及在密碼學(xué)中的應(yīng)用》可用作計(jì)算機(jī)科學(xué)和數(shù)學(xué)專(zhuān)業(yè)高年級(jí)和研究生課程的參考書(shū)。

作者簡(jiǎn)介

暫缺《有限自動(dòng)機(jī)及在密碼學(xué)中的應(yīng)用》作者簡(jiǎn)介

圖書(shū)目錄

ForewordbyArtoSalomaa.
Preface
1.　Introduction
1.1　Preliminaries
1.1.1　RelationsandFunctions
1.1.2　Graphs
1.2　DefinitionsofFiniteAutomata
1.2.1　FiniteAutomataasTransducers
1.2.2　SpecialFiniteAutomata
1.2.3　CompoundFiniteAutomata
1.2.4　FiniteAutomataasRecognizers
1.3　LinearFiniteAutomata
1.4　ConceptsonInvertibility
1.5　ErrorPropagationandFeedforwardInvertibility
1.6　LabelledTreesasStatesofFiniteAutomata
2.　MutualInvertibilityandSearch
2.1　MinimalOutputWeightandInputSet
2.2　MutualInvertibilityofFiniteAutomata
2.3　FindInputbySearch
2.3.1　OnOutputSetandInputTree
2.3.2　ExhaustingSearch
2.3.3　StochasticSearch
3.　RaRbTransformationMethod
3.1　SufficientConditionsandInversion
3.2　GenerationofFiniteAutomatawithInvertibility
3.3　InvertibilityofQuasi-LinearFiniteAutomata
3.3.1　DecisionCriteria
3.3.2　StructureProblem
4.　RelationsBetweenTransformations
4.1　RelationsBetweenRaRbTransformations
4.2　CompositionofRaRbTransformations
4.3　ReducedEchelonMatrix
4.4　CanonicalDiagonalMatrixPolynomial
4.4.1　RaRbTransformationsoverMatrixPolynomial
4.4.2　RelationsBetweenRaRbTransformationandCanonicalDiagonalForm
4.4.3　RelationsofRight-Parts
4.4.4　ExistenceofTerminatingRaRbTransformationSequence
5.　StructureofFeedforwardInverses
5.1　ADecisionCriterion..
5.2　DelayFree
5.3　OneStepDelay
5.4　TwoStepDelay
6.　SomeTopicsonStructureProblem
6.1　SomeVariantsofFiniteAutomata
6.1.1　PartialFiniteAutomata
6.1.2　NondeterministicFiniteAutomata
6.2　InversesofaFiniteAutomaton
6.3　OriginalInversesofaFiniteAutomaton
6.4　WeakInversesofaFiniteAutomaton
6.5　OriginalWeakInversesofaFiniteAutomaton
6.6　WeakInverseswithBoundedErrorPropagationofaFiniteAutomaton
7.　LinearAutonomousFiniteAutomata
7.1　BinomialCoefficient
7.2　RootRepresentation
7.3　TranslationandPeriod
7.3.1　ShiftRegisters
7.3.2　FiniteAutomata
7.4　Linearization
7.5　Decimation
8.　OneKeyCryptosystemsandLatinArrays
8.1　CanonicalFormforFiniteAutomatonOneKeyCryptosystems
8.2　LatinArrays
8.2.1　Definitions
8.2.2　On(n，k，r)-LatinArrays
8.2.3　Invariant
8.2.4　AutotopismGroup
8.2.5　TheCasen=2，3
8.2.6　TheCasen=4，k≤4
8.3　LinearlyIndependentLatinArrays
8.3.1　LatinArraysofInvertibleFunctions
8.3.2　GenerationofLinearlyIndependentPermutations
9.　FiniteAutomatonPublicKeyCryptosystems
9.1　TheoreticalFundamentals
9.2　BasicAlgorithm
9.3　AnExampleofFAPKC
9.4　OnWeakKeys
9.4.1　LinearRaRbTransformationTest
9.4.2　OnAttackbyReducedEchelonMatrix
9.4.3　OnAttackbyCanonicalDiagonalMatrixPolynomial
9.5　Security
9.5.1　InversionbyaGeneralMethod
9.5.2　InversionbyDecomposingFiniteAutomata
9.5.3　ChosenPlaintextAttack
9.5.4　ExhaustingSearchandStochasticSearch
9.6　GeneralizedAlgorithms
9.6.1　SomeTheoreticalResults
9.6.2　TwoAlgorithms
References
Index