A model-based approach to analysis of authentication protocols (Englisch)
- Neue Suche nach: Gorski, J.
- Neue Suche nach: Olszewski, M.
- Neue Suche nach: Gorski, J.
- Neue Suche nach: Olszewski, M.
- Neue Suche nach: Saeed, K.
- Neue Suche nach: Pejas, J.
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:A model-based approach to analysis of authentication protocols
-
Beteiligte:
-
Kongress:International multi-conference, Advanced computer systems and computer information systems and industrial management applications; Information processing and security systems ; 2005 ; Elk, Poland
-
Erschienen in:
-
Verlag:
- Neue Suche nach: London
-
Erscheinungsort:New York , Springer, , 2005.
-
Format / Umfang:10 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Fourier Descritpor-Based Deformable Models for Segmentation of the Distal Femur in CTBerg, E. / Mahfouz, M. / Debrunner, C. / Merkl, B. / Hoff, W. et al.
- 13
-
Hierarchical Segmentation of Sparse Surface Data Using Energy-Minimization ApproachAl-Tahir, R. et al.
- 23
-
Interactive Real-time Image Analysis System for Distant OperationPathegama, M. P. / Gol, O. et al.
- 33
-
Analysis/Synthesis Speech Model Based on the Pitch-Tracking Periodic-Aperiodic DecompositionZubrycki, P. / Petrovsky, A. A. et al.
- 43
-
Bio-inspired voice activity detector based on the human speech properties in the modulation domainShadevsky, A. / Petrovsky, A. et al.
- 55
-
A New Step in Arabic Speech Identification: Spoken Digit RecognitionSaeed, K. / Nammous, M. K. et al.
- 67
-
Split Vector Quantization of Psychoacoustical Modified LSF Coefficients in Speech Coder Based on Pitch-Tracking Periodic-Aperiodic DecompositionPetrovsky, A. / Sawicki, A. / Pavlovec, A. et al.
- 77
-
New results in 3D views of polyhedron generation on view sphere with perspective projectionFrydler, M. / Mokrzycki, W. S. et al.
- 87
-
Gram-Schmidt Orthonormalization-Based Color Model for Object DetectionBorawski, M. / Forczmanski, P. et al.
- 95
-
Eyes detection with motion interpretationKogut, A. et al.
- 103
-
Financial Distress Prediction Using Different Pattern Recognition MethodsPietruszkiewicz, W. / Rozenberg, L. et al.
- 113
-
Genetic algorithms applied to optimal arrangement of collocation points in 3D potential boundary-value problemsZieniuk, E. / Szerszen, K. / Boltuc, A. et al.
- 125
-
Fast Computation of Approximation TablesChmiel, K. et al.
- 135
-
Cryptographic Properties of Some Cryptosystem with Modulation of the Chaotic Sequence ParametersBerczynski1, S. / Kravtsov, Y. A. / Pejas, J. / Skrobek, A. et al.
- 149
-
Keys distribution for asymmetric cryptographic systemsKuriata, E. et al.
- 159
-
Two-pattern test generation with low power consumption based on LFSRPuczko, M. / Yarmolik, W. et al.
- 167
-
Unauthorized servers for online certificates status verificationMackow, W. / Pejas, J. et al.
- 175
-
Micropayments with Privacy - a New Proposal for E-commerceSzczypiorski, K. / Zwierko, A. / Margasinski, I. et al.
- 187
-
A model-based approach to analysis of authentication protocolsGorski, J. / Olszewski, M. et al.
- 197
-
Accessibility of information in realtime systemsHebisz, T. / Kuriata, E. et al.
- 207
-
Protocol for Certificate Based Access Control Policies Description LanguagePejas, J. / Sukiennik, P. et al.
- 217
-
Impact of the address changing on the detection of pattern sensitive FaultsSokol, B. / Mrozek, I. / Yarmolik, W. et al.
- 227
-
Software IP Protection Based on Watermarking TechniquesYarmolik, V. / Partsianka, S. et al.
- 235
-
Probabilistic Analysis of Operational Security for Network SystemsKoszelew, J. et al.
- 245
-
Quality of Service Requirements in Computer Networks with BlockingOniszczuk, W. et al.
- 257
-
Genetic BDD-oriented Pattern ClassifiersPedrycz, W. / Sosnowski, Z. A. et al.
- 269
-
A fuzzy way to evaluate the qualitative attributes in bank lending creditworthinessFacchinetti, G. / Mastroleo, G. et al.
- 283
-
Multidimensional Systems, Signals, Circuits, and Repetitive Processes: Theory, Applications, and Future TrendsGalkowski, K. / Kummert, A. et al.
- 303
-
Modelling using probabilistic algorithmsBorowska, A. / Danko, W. / Karbowska-Chilinska, J. et al.
- 317
-
Fuzzy Parametric Integral Equations System in modelling of polygonal potential boundary problems described by the Laplace equationZieniuk, E. / Kuzelewski, A. et al.
- 327
-
From Integrated Circuits Technology to Silicon Grey Matter: Hardware Implementation of Artificial Neural NetworksMadani, K. et al.
- 353
-
A Tiny Flat-island in a Huge Lake - How can we search for it if completely flatland elsewhere?Imada, A. et al.
- 365
-
A Soft Computing Based Approach Using Signal-To-Image Conversion for Computer Aided Medical Diagnosis (CAMD)Chohra, A. / Kanaoui, N. / Amarger, V. et al.
- 375
-
The prediction of behaviours of chaotic dynamical systems in 3D state spacePankiewicz, M. / Mosdorf, R. et al.
- 389
-
Idiotypic Networks as a Metaphor for Data Analysis AlgorithmsWierzchon, S. T. et al.
- 401
-
Global learning of decision trees by an evolutionary AlgorithmKretowski, M. / Grzes, M. et al.
- 411
-
Ships' domains as collision risk at sea in the evolutionary method of trajectory planningSmierzchalski, R. et al.
- 423
-
Inputs' Significance Analysis with Rough Sets TheoryRejer, I. et al.
- 433
-
Semi-Markov process in performance evaluation of asynchronous processorsKadlubowski, W. et al.
- 443
-
Organization of the modeling and simulation of the discrete processesKushtina, E. / Dolgui, A. / Malachowski, B. et al.
- 453
-
The Jeep Problem, searching for the best strategy with a genetic algorithmKlesk, P. et al.
- 465
-
Evaluation of operation and state of an object using artificial intelligence toolsPiech, H. / Ptak, A. / Machura, M. et al.