01174nam0-22003851i-450-990001159350403321000115935FED01000115935(Aleph)000115935FED0100011593520000920d1962----km-y0itay50------baengRecursive Function Theory[J.C.E. Dekker, editor of these proceedings]Providence (RI)American Mathematical Society1962vii, 247 p.27 cmProceedings of symposia in pure mathematics5sul retro del frontespizio: Proceedings of the fifth symposium in pure mathematics of the AMS, New York, April 6-7, 1961Teoria della ricorsivitaFunzioni ricorsive511.35Recursive348795Dekker,J.C.E.ITUNINARICAUNIMARCBK990001159350403321C-52-(57368MA18-M-398585MA1MA103D2003D5003F1503F60Recursive Function Theory346680UNINAING0105685nam 22009015 450 991038074800332120251225182032.03-030-42051-510.1007/978-3-030-42051-2(CKB)4100000010480277(DE-He213)978-3-030-42051-2(MiAaPQ)EBC6120928(PPN)242979270(EXLCZ)99410000001048027720200220d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Security ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26–27, 2019, Revised Selected Papers /edited by Apostolos P. Fournaris, Manos Athanatos, Konstantinos Lampropoulos, Sotiris Ioannidis, George Hatzivasilis, Ernesto Damiani, Habtamu Abie, Silvio Ranise, Luca Verderame, Alberto Siena, Joaquin Garcia-Alfaro1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XVIII, 279 p. 270 illus., 65 illus. in color.) Security and Cryptology,2946-1863 ;11981Includes index.3-030-42050-7 Information & Operational Technology (IT & OT) security systems (IOSec 2019) -- Model-driven Simulation and Training Environments (MSTEC 2019) -- Security for Financial Critical Infrastructures and Services (FINSEC 2019).This book constitutes the refereed post-conference proceedings of the Second International Workshop on Information & Operational Technology (IT & OT) security systems, IOSec 2019 , the First International Workshop on Model-driven Simulation and Training Environments, MSTEC 2019, and the First International Workshop on Security for Financial Critical Infrastructures and Services, FINSEC 2019, held in Luxembourg City, Luxembourg, in September 2019, in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019. The IOSec Workshop received 17 submissions from which 7 full papers were selected for presentation. They cover topics related to security architectures and frameworks for enterprises, SMEs, public administration or critical infrastructures, threat models for IT & OT systems and communication networks, cyber-threat detection, classification and pro ling, incident management, security training and awareness, risk assessment safety and security,hardware security, cryptographic engineering, secure software development, malicious code analysis as well as security testing platforms. From the MSTEC Workshop 7 full papers out of 15 submissions are included. The selected papers deal focus on the verification and validation (V&V) process, which provides the operational community with confidence in knowing that cyber models represent the real world, and discuss how defense training may benefit from cyber models. The FINSEC Workshop received 8 submissions from which 3 full papers and 1 short paper were accepted for publication. The papers reflect the objective to rethink cyber-security in the light of latest technology developments (e.g., FinTech, cloud computing, blockchain, BigData, AI, Internet-of-Things (IoT), mobile-first services, mobile payments).Security and Cryptology,2946-1863 ;11981Data protectionComputer networksComputer engineeringComputer crimesComputersLaw and legislationInformation technologyLaw and legislationCryptographyData encryption (Computer science)Data and Information SecurityComputer Communication NetworksComputer Engineering and NetworksComputer CrimeLegal Aspects of ComputingCryptologyData protection.Computer networks.Computer engineering.Computer crimes.ComputersLaw and legislation.Information technologyLaw and legislation.Cryptography.Data encryption (Computer science).Data and Information Security.Computer Communication Networks.Computer Engineering and Networks.Computer Crime.Legal Aspects of Computing.Cryptology.005.8005.8Fournaris Apostolos Pedthttp://id.loc.gov/vocabulary/relators/edtAthanatos Manosedthttp://id.loc.gov/vocabulary/relators/edtLampropoulos Konstantinosedthttp://id.loc.gov/vocabulary/relators/edtIoannidis Sotirisedthttp://id.loc.gov/vocabulary/relators/edtHatzivasilis Georgeedthttp://id.loc.gov/vocabulary/relators/edtDamiani Ernestoedthttp://id.loc.gov/vocabulary/relators/edtAbie Habtamuedthttp://id.loc.gov/vocabulary/relators/edtRanise Silvioedthttp://id.loc.gov/vocabulary/relators/edtVerderame Lucaedthttp://id.loc.gov/vocabulary/relators/edtSiena Albertoedthttp://id.loc.gov/vocabulary/relators/edtGarcia-Alfaro Joaquinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910380748003321Computer & security878224UNINA