yusuke1997/dblp-id-title huggingface dataset:
Estimating Effectiveness of Preventing Measures for 2019 Novel Coronavirus Diseases (COVID-19)
A Social Capital-Based NFT Collection Recommendation Mechanism
Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995
Automated modular specification and verification of real-time reactive systems
Experiences in applying formal methods to the analysis of software and system requirements
Transferring Formal Methods Technology to Industry
Autolink: A Tool for Automatic Test Generation from SDL Specifications
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
Experiences with specification and verification in LOTOS: a report on two case studies
Integrating Formal and Informal Specification Techniques. Why? How?
What Does Industry Need From Formal Specification Techniques?
Requirements for Industrial-Strength Formal Method Tools
Selection Criteria for Automated TTCN Test Case Generation from SDL
The architectural specification of an avionic subsystem
Formal Methods For Developing High Assurance Computer Systems: Working Group Report
Adding formal specifications to a proven V&V process for system-critical flight software
A formal approach to reactive systems software: a telecommunications application in ESTEREL
WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe
Using the SCR* Toolset to Specify Software Requirements
A C++ library for implementing specifications
A Discussion About Integrated Techniques
The Industrial Use of Formal Methods: Was Darwin Right?
Implementing Statecharts in PROMELA/SPIN
Formal validation of virtual finite state machines
2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA
AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements
A calculus of hazard for railway signalling
T-VECTM Product Summary
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation
Automatic verification of industrial designs
Inhibiting factors, market structure and the industrial uptake of formal methods
Applying SOFL to Specify A Railway Crossing Controller for Industry
Timing analysis of industrial real-time systems
Reasoning with UML Class Diagrams
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications
Mining and Detecting Connection-Chains in Network Traffic
A Fair (t, n)-Threshold Secret Sharing Scheme with Efficient Cheater Identifying
Distributed Systems Security Governance, a SOA Based Approach
Trust Management IV - 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings
Familiarity Breeds Con-victims: Why We Need More Effective Trust Signaling
User Recognition Based on Daily Actigraphy Patterns
From Access Control to Trust Management, and Back - A Petition
Applied Computational Trust in Utilities Management: a Case Study on The Town Council of Cava de' Tirreni
Towards Trust-Aware and Self-adaptive Systems
A Cloud Orchestrator for Deploying Public Services on the Cloud - The Case of STRATEGIC Project
Using Context in Security Design of a Search and Rescue System
Trust Transfer in Distributed Systems
Formalizing Trust-based Decision Making in Electronic Commerce Transactions
Reputation - from Social Perception to Internet Security
Rendering unto Cæsar the Things That Are Cæsar's: Complex Trust Models and Human Understanding
Trust Assessment Using Cloud Broker
The Game of Trust: Using Behavioral Experiment as a Tool to Assess and Collect Trust-Related Data
Trust without Truth
Modeling and Analysis of Trust Management Protocols: Altruism versus Selfishness in MANETs
Design of Intrusion Sensitivity-Based Trust Management Model for Collaborative Intrusion Detection Networks
A Pre-signature Scheme for Trustworthy Offline V2V Communication
A Framework for Privacy-Preserving E-learning
Continuous Context-Aware Device Comfort Evaluation Method
Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records
Analogical Trust Reasoning
Impact of Dataset Representation on Smartphone Malware Detection Performance
Graphical Passwords as Browser Extension: Implementation and Usability Study
Evaluating the STORE Reputation System in Multi-Agent Simulations
Perturbation Based Privacy Preserving Slope One Predictors for Collaborative Filtering
An Unforeseen Equivalence Between Uncertainty and Entropy
Trust Dynamics: A Data-Driven Simulation Approach
An Incentive Mechanism to Promote Honesty in E-marketplaces with Limited Inventory
In Cloud We Trust: Risk-Assessment-as-a-Service
Privacy-Respecting Reputation for Wiki Users
Design of Trusted Systems with Reusable Collaboration Models
Advanced Flow Models for Computing the Reputation of Internet Domains
Predicting Quality of Crowdsourced Annotations Using Graph Kernels
Public Privacy and Brick Houses Made of Glass
Self-reported Verifiable Reputation with Rater Privacy
Private Distributed Scalar Product Protocol With Application To Privacy-Preserving Computation of Trust
Trust Level Evaluation Engine for Dynamic Trust Assessment with Reference to Subjective Logic
Self-Selection Bias in Reputation Systems
Enhancing Data Privacy in the Cloud
On Tradeoffs between Trust and Survivability Using a Game Theoretic Approach
Trust Model for Optimized Cloud Services
Document and Author Promotion Strategies in the Secure Wiki Model
Behavior-Dependent Access Control Policies
Trust and Regulation Conceptualisation: The Foundation for User-Defined Cloud Policies
A Calculus for Trust and Reputation Systems
Data Confidentiality in Cloud Storage Protocol Based on Secret Sharing Scheme: A Brute Force Attack Evaluation
Incorporating Honeypot for Intrusion Detection in Cloud Infrastructure
Investigating Security Capabilities in Service Level Agreements as Trust-Enhancing Instruments
From Early Requirements Analysis towards Secure Workflows
Continuous User Authentication Using Smartwatch Motion Sensor Data
Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems
A Model for Personalised Perception of Policies
Security in Wiki-Style Authoring Systems
Robustness of Trust Models and Combinations for Handling Unfair Ratings
Resilia: a Safe and Secure Distributed Backup System for Small and Medium Enterprises
Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence
The Role of SLAs in Building a Trusted Cloud for Europe
Integrating Indicators of Trustworthiness into Reputation-Based Trust Models - Insurance, Certification, and Coalitions
Trust Trust Me (The Additivity)
Place and Time Authentication of Cultural Assets
A Role and Trust Access Control Model for Preserving Privacy and Image Anonymization in Social Networks
Trust It or Not? An Empirical Study of Rating Mechanism and Its Impact on Smartphone Malware Propagation
Implementation and Performance Analysis of the Role-Based Trust Management System, RT C
Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings
STORE Stochastic Reputation Service for Virtual Organisations
Identifying Knots of Trust in Virtual Communities
The Importance of Trust in Computer Security
Modeling Trust for Recommender Systems using Similarity Metrics
Symbolic Privacy Analysis through Linkability and Detectability
Common Capabilities for Trust and Security in Service Oriented Infrastructures
TrustMUSE: A Model-Driven Approach for Trust Management
A Virtual Hosting Environment for Distributed Online Gaming
An Automatic Trust Calculation Based on the Improved Kalman Filter Detection Algorithm
Resisting Sybils in Peer-to-peer Markets
Simple and Practical Integrity Models for Binaries and Files
The Social Construction of "Shared Reality" in Socio-Technical Systems
Towards Statistical Trust Computation for Medical Smartphone Networks Based on Behavioral Profiling
Evaluation of Entity Trustworthiness Based on Public and Private Data
SDKSE-KGA: A Secure Dynamic Keyword Searchable Encryption Scheme Against Keyword Guessing Attacks
Self-service Privacy: User-Centric Privacy for Network-Centric Identity
Privacy-Preserving Reputation Mechanism: A Usable Solution Handling Negative Ratings
On Robustness of Trust Systems
A Trust Management Framework for Detecting Malicious and Selfish Behaviour in Ad-Hoc Wireless Networks Using Fuzzy Sets and Grey Theory
Strong Accountability and Its Contribution to Trustworthy Data Handling in the Information Society
Trust Management XIV - 14th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2023, Amsterdam, The Netherlands, October 18-20, 2023, Proceedings
An Intensional Functional Model of Trust
Towards an Understanding of Security, Privacy and Safety in Maritime Self-Reporting Systems
Reputation-Enhanced Recommender Systems
Elimination of Subjectivity from Trust Recommendation
A New Data Integrity Checking Protocol with Public Verifiability in Cloud Storage
Context-Aware Management Domains
Obscuring Provenance Confidential Information via Graph Transformation
Towards a Computational Model of Information Trust
Security-as-a-Service in Multi-cloud and Federated Cloud Environments
Trust Model for Cloud Based on Cloud Characteristics
GDPR Modelling for Log-Based Compliance Checking
Securing Identity Assignment Using Implicit Certificates in P2P Overlays
Content Trust Model for Detecting Web Spam
An Efficient Approach for Privacy Preserving Distributed K-Means Clustering Based on Shamir's Secret Sharing Scheme
Role- and Relationship-Based Identity Management for Private yet Accountable E-Learning
Post-Session Authentication
How Events Affect Trust: A Baseline Information Processing Model with Three Extensions
On Trust Confusional, Trust Ignorant, and Trust Transitions
Lightweight Practical Private One-Way Anonymous Messaging
Security and Privacy in E-consumer Protection in Victoria, Australia
WRS: The Wikipedia Recommender System
Reputation-Based Trust Systems for Wireless Sensor Networks: A Comprehensive Review
The Detail of Trusted Messages: Retweets in a Context of Health and Fitness
Modeling Reactive Trust Acquisition Using State Transition Systems
Improvements over Extended LMAP+: RFID Authentication Protocol
A Risk Based Approach to Limit the Effects of Covert Channels for Internet Sensor Data Aggregators for Sensor Privacy
Limitations on Robust Ratings and Predictions
Impact of Trust Management and Information Sharing to Adversarial Cost in Ranking Systems
Self-trust, Self-efficacy and Digital Learning
Dismantling the Twelve Privacy Purposes
Anomaly Detection for Mobile Device Comfort
A Granular Approach to Source Trustworthiness for Negative Trust Assessment
Shinren: Non-monotonic Trust Management for Distributed Systems
Physiological Measurement of Trust-Related Behavior in Trust-Neutral and Trust-Critical Situations
Contingency Revisited: Secure Construction and Legal Implications of Verifiably Weak Integrity
Assessment of the Trustworthiness of Digital Records
VIGraph - A Framework for Verifiable Information
Mathematical Modelling of Trust Issues in Federated Identity Management
A Trust Model for an Open, Decentralized Reputation System
Validation and Verification of Agent Models for Trust: Independent Compared to Relative Trust
Crowdsourcing Under Attack: Detecting Malicious Behaviors in Waze
Managing Software Uninstall with Negative Trust
Visualisation of Trust and Quality Information for Geospatial Dataset Selection and Use: Drawing Trust Presentation Comparisons with B2C e-Commerce
A Difficulty in Trust Modelling
Continuous Ratings in Discrete Bayesian Reputation Systems
Schemes for Privately Computing Trust and Reputation
Detecting and Reacting to Changes in Reputation Flows
Operational Challenges in Deploying Trust Management Systems - A Practical Perspective
Why We Trust Dynamic Consent to Deliver on Privacy
Service-Oriented Approach to Visualize IT Security Performance Metrics
Trust Management X - 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Regulatory Impact of Data Protection and Privacy in the Cloud
Building an Eco-System of Trusted Services via User Control and Transparency on Personal Data
Clustering Recommenders in Collaborative Filtering Using Explicit Trust Information
Supporting Coordinated Maintenance of System Trustworthiness and User Trust at Runtime
Assigning Responsibility for Failed Obligations
CrowdLED: Towards Crowd-Empowered and Privacy-Preserving Data Sharing Using Smart Contracts
Using Rummble as a Personalised Travel Guide
Reputation-Based Cooperation in the Clouds
TPL: A Trust Policy Language
Software and its Perceived Trustworthiness
Trust Management XII - 12th IFIP WG 11.11 International Conference, IFIPTM 2018, Toronto, ON, Canada, July 10-13, 2018, Proceedings
A Flexible Privacy-Preserving Framework for Singular Value Decomposition Under Internet of Things Environment
Design of Graded Trusts by Using Dynamic Path Validation
MUQAMI: A Locally Distributed Key Management Scheme for Clustered Sensor Networks
Monitors for Usage Control
An Empirical Test of How Events Turn the Cognitive Gears of Trust
Trust Management Framework for Attenuation of Application Layer DDoS Attack in Cloud Computing
Prob-Cog: An Adaptive Filtering Model for Trust Evaluation
Why Zero Trust Architectures Are Not Replacing Trust
Inferring Trust Based on Similarity with TILLIT
SOFIA: Social Filtering for Robust Recommendations
A Robust and Knot-Aware Trust-Based Reputation Model
From Reputation Models and Systems to Reputation Ontologies
Partial Commitment - "Try Before You Buy" and "Buyer's Remorse" for Personal Data in Big Data & Machine Learning
Integrating Security Services in Cloud Service Stores
Exploiting Trust and Distrust Information to Combat Sybil Attack in Online Social Networks
A Privacy Risk Model for Trajectory Data
Trust Management V, 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29-July 1, 2011, Proceedings
Visitor Access Control Scheme Utilizing Social Relationship in the Real World
Longitude: A Privacy-Preserving Location Sharing Protocol for Mobile Applications
A Trust-Based Framework for Information Sharing Between Mobile Health Care Applications
On Beta Models with Trust Chains
Analysis of the implicit trust within the OLSR protocol
Knots Maintenance for Optimal Management of Trust Relations
From Knowledge to Trust: A Logical Framework for Pre-trust Computations
Privacy2.0: Towards Collaborative Data-Privacy Protection
TrustBuilder2: A Reconfigurable Framework for Trust Negotiation
Integrity in Open Collaborative Authoring Systems
The Wisdom of Being Wise: A Brief Introduction to Computational Wisdom
Transparency, Privacy and Trust - Technology for Tracking and Controlling My Data Disclosures: Does This Work?
Trust Management XIII - 13th IFIP WG 11.11 International Conference, IFIPTM 2019, Copenhagen, Denmark, July 17-19, 2019, Proceedings
A Perspective on the Evolution of the International Trust Management Research Community in the Last Decade
Trust Management VIII - 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. Proceedings
Value-Based Core Areas of Trustworthiness in Online Services
An Architecture for Trustworthy Open Data Services
Leveraging a Social Network of Trust for Promoting Honesty in E-Marketplaces
Trust Transitivity and Conditional Belief Reasoning
Trust Management - Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30- August 2, 2007, Moncton, New Brunswick, Canada
Categorizing Review Helpfulness Using Abstract Dialectical Frameworks
Trusted Principal-Hosted Certificate Revocation
Trust Driven Strategies for Privacy by Design
Exploiting Trust and Suspicion for Real-time Attack Recognition in Recommender Applications
Continuous Authorization Architecture for Dynamic Trust Evaluation
A Relational Wrapper for RDF Reification
Understanding Trust within Online Discussion Boards: Trust Formation in the Absence of Reputation Systems
On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks
Enabling NAME-Based Security and Trust
A Framework for Blockchain-Based Verification of Integrity and Authenticity
Bringing the Virtual to the Farmers' Market: Designing for Trust in Pervasive Computing Systems
A Provenance-Based Trust Model for Delay Tolerant Networks
A Geo Time Authentication System
1, 2, Pause: Lets Start by Meaningfully Navigating the Current Online Authentication Solutions Space
Sensor Enhanced Access Control: Extending Traditional Access Control Models with Context-Awareness
An Inline Monitoring System for .NET Mobile Devices
Trust-Enhanced Recommender Systems for Efficient On-Line Collaboration
TIUPAM: A Framework for Trustworthiness-Centric Information Sharing
Improving Interpretations of Trust Claims
Evaluation of Privacy-ABC Technologies - a Study on the Computational Efficiency
I Don't Trust ICT: Research Challenges in Cyber Security
An Experimental Testbed for Evaluation of Trust and Reputation Systems
Foreword: Towards Trusted Cloud Ecosystems
Perceived Privacy in Ambient Intelligent Environments
First International Workshop on Combining Context with Trust, Security and Privacy In conjunction with IFIPTM, CAT@IFIPTM 2007, Moncton, New Brunswick, Canada, July 30, 2007
Co-evolving Trust Mechanisms for Catering User Behavior
Social Network Analysis for Trust Prediction
Trust Management III, Third IFIP WG 11.11 International Conference, IFIPTM 2009 , West Lafayette, IN, USA, June 15-19, 2009. Proceedings
Metric Strand Spaces for Locale Authentication Protocols
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Abstract Accountability Language
Incorporating Interdependency of Trust Values in Existing Trust Models for Trust Dynamics
Negotiation for Authorisation in Virtual Organisations
Reflections on Measuring the Trust Empowerment Potential of a Digital Environment
Detection and Prevention of Insider Threats in Database Driven Web Services
Trust Management in P2P Systems Using Standard TuLiP
A UML-based Method for the Development of Policies to Support Trust Management
Towards Privacy Protection in a Middleware for Context-awareness
xESB: An Enterprise Service Bus for Access and Usage Control Policy Enforcement
The Impact of Competence and Benevolence in a Computational Model of Trust
Trustworthiness in Networks: A Simulation Approach for Approximating Local Trust and Distrust Values
PERSONA - A Personalized Data Protection Framework
Proximity-Based Trust Inference for Mobile Social Networking
Network-Aware Evaluation Environment for Reputation Systems
Securing Class Initialization
Composing Trust Models towards Interoperable Trust Management
From Subjective Reputation to Verifiable Experiences - Augmenting Peer-Control Mechanisms for Open Service Ecosystems
An Attack-Resistant Hybrid Data-Privatization Method with Low Information Loss
Enhancing Business Process Models with Trustworthiness Requirements
Trust Management II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway
Towards Understanding the Requirements and Limitations of Reputation-Based Systems
Introducing Patient and Dentist Profiling and Crowdsourcing to Improve Trust in Dental Care Recommendation Systems
On Usage Control in Data Grids
A Lightweight Binary Authentication System for Windows
Trust Management XI - 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings
A Model for Reasoning About the Privacy Impact of Composite Service Execution in Pervasive Computing
Towards Trust-Aware Collaborative Intrusion Detection: Challenges and Solutions
A trust protocol for community collaboration
Trust-Threshold Based Routing in Delay Tolerant Networks
Naïve Security in a Wi-Fi World
A Calculus for Distrust and Mistrust
Validating a Trust-based Access Control System
Trust-Based Collaborative Filtering
Does Trust Matter for User Preferences? A Study on Epinions Ratings
Automated Evaluation of Annotators for Museum Collections Using Subjective Logic
Taste and Trust
A Privacy-Aware Service Discovery Middleware for Pervasive Environments
CodeTrust - Trusting Software Systems
Reusable Defense Components for Online Reputation Systems
Trusting the IoT: There Is More to Trust Than Trustworthiness
Trust Management IX - 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Finding Trusted Publish/Subscribe Trees
A Trust Evaluation Method Based on Logic and Probability Theory
Social Network Culture Needs the Lens of Critical Trust Research
How to Use Information Theory to Mitigate Unfair Rating Attacks
Towards Standards-Compliant Trust Negotiation for Web Services
Reusability for Trust and Reputation Systems
The AI Hardness of CAPTCHAs does not imply Robust Network Security
A User Study of an ABAC Model for Online Social Networks
The Method of Trust and Reputation Systems Based on Link Prediction and Clustering
emmy - Trust-Enhancing Authentication Library
Automatic Verification of Privacy Properties in the Applied pi Calculus
Trust based Approach for Improving Data Reliability in Industrial Sensor Networks
transCryptFS: A Trusted and Secure File System
Analyzing the Robustness of CertainTrust
A Translation Mechanism for Recommendations
Providing Trustworthy Advice Online - An Exploratory Study on the Potential of Discursive Psychology in Trust Research
Extending Trust Management with Cooperation Incentives: Achieving Collaborative Wi-Fi Sharing Using Trust Transfer to Stimulate Cooperative Behaviours
Towards Behavioural Computer Science
How to Develop a Security Controls Oriented Reference Architecture for Cloud, IoT and SDN/NFV Platforms
Comparison of the Beta and the Hidden Markov Models of Trust in Dynamic Environments
Towards Automated Trust Establishment in Federated Identity Management
A Socio-technical Understanding of TLS Certificate Validation
Protecting Location Privacy through Semantics-aware Obfuscation Techniques
Trust Management VI - 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings
Middleware-Based Security and Privacy for In-car Integration of Third-Party Applications
The North Laine Shopping Guide: A Case Study in Modelling Trust in Applications
Cooperation in Growing Communities
Privacy Policy Annotation for Semi-automated Analysis: A Cost-Effective Approach
Robustness of Trust and Reputation Systems: Does It Matter?
Spiral of Hatred: Social Effects in Buyer-Seller Cross-Comments Left on Internet Auctions
Security and Trust Management for Virtual Organisations: GridTrust Approach
Control Flow Based Pointcuts for Security Hardening Concerns
Tactical data link with cognitive anti-jamming capability and its simulator
Dimensional data model for early alerts of malicious activities in a CSIRT
Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs
A simulator for UAVs management in agriculture domain
Performance Analysis of IoT Networks with Mobility Via Modeling and Simulation
Subjective video quality assessment of VP9 compression standard for full HD resolution
Which is better for learning: a web-based educational application or an educational game?
A reactive routing protocol for VANETs based on composite metric concept
Handover enhancement for LTE-Advanced and beyond heterogeneous cellular networks
Optimizing the energy efficient VM placement by IEFWA and hybrid IEFWA/BBO algorithms
Optical Control Connectivity and Access Technique Study for a Software-Defined Intra-Rack Data Center Network
Creating and using Key Network-Performance Indicators to support the design of change of enterprise infocommunication infrastructure
A cloud-based service for generating ns-3 network simulation programs
Joint Detection and the AoA Estimation of Noncoherent Signals in Multi-Element Antennas
Sensor localization for indoor wireless sensor networks