Zoekresultaten - "Smart contract

  1. 61
  2. 62

    Energy trading systems on blockchain networks door Jae Geun Song, Ju Wook Jang

    Gepubliceerd in 2020
    Connect to this object online.
    Boek
  3. 63

    Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

    Gepubliceerd in 2018
    Inhoudsopgave: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
    Link to Metadata
    Elektronisch E-boek
  4. 64
  5. 65
  6. 66
  7. 67

    Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers /

    Gepubliceerd in 2022
    Inhoudsopgave: “…Malware Analysis -- Robustness of Image-Based Malware Analysis -- Word Embeddings for Fake Malware Generation -- Twitter bots detection with Benford's Law and Machine Learning -- Blockchain and Smart Contracts -- A Blockchain-based Retribution Mechanism for Collaborative Intrusion Detection -- Smart Contracts in the Cloud -- A Blockchain-based Tamper-resistant Logging Framework -- Remote Device Assessment -- Impact of Location Spoofing Attacks on Performance Prediction in Mobile Networks -- Deep IoT Monitoring: Filtering IoT Traffic Using Deep Learning.…”
    Link to Metadata
    Elektronisch E-boek
  8. 68
  9. 69
  10. 70
  11. 71

    Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

    Gepubliceerd in 2017
    Inhoudsopgave: “…Making Flow-Based Security Detection Parallel -- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts -- Achieving Reproducible Network Environments with INSALATA -- Towards a Software-Defined Security Framework for Supporting Distributed Cloud -- Optimal Service Function Chain Composition in Network Functions Virtualization -- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services -- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications -- Towards Internet Scale Quality-of-Experience Measurement with Twitter -- Hunting SIP Authentication Attacks Efficiently -- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks -- Flow-Based Detection of IPv6-specific Network Layer Attacks -- Towards a Hybrid Cloud Platform Using Apache Mesos -- Visual Analytics for Network Security and Critical Infrastructures -- Preserving Relations in Parallel Flow Data Processing -- SmartDEMAP: A Smart Contract Deployment and Management Platform -- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads -- Situational Awareness: Detecting Critical Dependencies and Devices in a Network -- A Framework for SFC Integrity in NFV Environments -- Multi-domain DDoS Mitigation based on Blockchains.…”
    Link to Metadata
    Elektronisch E-boek
  12. 72
  13. 73
  14. 74

    Digitale Transformation und Unternehmensführung Trends und Perspektiven für die Praxis /

    Gepubliceerd in 2020
    Inhoudsopgave: “…Von der digitalen Transformation zur digitalen Unternehmensführung -- Digitale Transformation und Open Access von Forschungsresultaten in der Schweiz -- Plattformbasierte Dienstleistungen -- Gamification in Unternehmen -- Cybersicherheit als Führungsaufgabe in Schweizer KMU -- Ambidextrie - der organisationale Drahtseilakt -- Digitalisierung: Perspektiven für Arbeitsmodelle der Zukunft in Wirtschaft und Verwaltung -- Digitale Transformation und Human Resource Management -- Big Data Analytics -- Kryptowährungen -- Das Potential von Smart Contracts an einem Beispiel aus der Finanzbranche - Smart Rating -- Erfolgsfaktoren für die Kundengewinnung mit digitalem Marketing -- Augmented Reality als Entscheidungshilfe beim Möbelkauf -- Online Abonnement-Vermarktung -- Social Influencer.…”
    Link to Metadata
    Elektronisch E-boek
  15. 75
  16. 76
  17. 77
  18. 78
  19. 79
  20. 80

    Digital Transformation of the Design, Construction and Management Processes of the Built Environment

    Gepubliceerd in 2020
    Inhoudsopgave: “…PART I: INTEROPERABLE MANAGEMENT OF THE PROCESS, National BIM digital platform for construction (INNOVance project) -- From cloud to BIM model of the built environment: the digitized process for competitive tender, project, construction and management -- The construction contract execution through the integration of Blockchain technology -- The BIMReL Project, the BIM interoperable library in the Lombardy Region -- Life cycle BIM-oriented data collection: a framework for supporting practitioners -- Decision-making BIM platform for chemical building products -- BIM electrical objects plug-in for industry 4.0 -- Da.Ma.Tra: Material Traceability Database -- Natural language processing for information and project management -- Structure of a general Exchange Information Requirements (EIR) for tenders according to the UNI 11337:2017 standard -- PART II: DESIGN STAGE, Clash detection and code checking BIM platform for the Italian market -- Digital tool for optimization -- Performance-based designapproach for tailored acoustic surfaces -- Do Smart City policies work? …”
    Link to Metadata
    Elektronisch E-boek