Filters








225,943 Hits in 3.6 sec

Sybil proof anonymous reputation management

Wolf Müller, Henryk Plötz, Jens-Peter Redlich, Takashi Shiraki
2008 Proceedings of the 4th international conference on Security and privacy in communication netowrks - SecureComm '08  
This work presents an architecture for Anonymous Reputation Management (ARM), which is explained for the example of File Sharing (ARM4FS).  ...  Anonymous reputation management (ARM) can be plugged on top of many reputation systems in order to preserve the users' privacy for many scenarios.  ...  ABSTRACT Many new Internet applications base on openness to externally contributed content. The numerous user contributions offer both opportunities and threats.  ... 
doi:10.1145/1460877.1460887 dblp:conf/securecomm/MullerPRS08 fatcat:kzkso6ysdngazm2spj26ng33li

Managing Proof Documents for Asynchronous Processing

Holger Gast
2009 Electronical Notes in Theoretical Computer Science  
This paper presents a software architecture for asynchronous proof processing.  ...  Asynchronous proof processing is a recent approach at improving the usability and performance of interactive theorem provers.  ...  To place as few constraints as possible on the software structure of Isabelle, we abstract over the concrete implementation and base our architecture on an abstract model of asynchronous processing.  ... 
doi:10.1016/j.entcs.2008.12.097 fatcat:bywilr6qureftoafr47ci6qkua

Development graphs—Proof management for structured specifications

Till Mossakowski, Serge Autexier, Dieter Hutter
2006 The Journal of Logic and Algebraic Programming  
Therefore, we recall the abstract notion of logic from Meseguer [13] . Logics consist of model theory and proof theory.  ...  Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs.  ...  This underpins the intended role of development graphs as a kernel formalism for management of structured proofs and of change.  ... 
doi:10.1016/j.jlap.2005.09.005 fatcat:z73nbdseebhc7i43h7vf6zn5wm

Implicit and Explicit Proof Management in KeYmaera X

Stefan Mitsch
2021 Electronic Proceedings in Theoretical Computer Science  
proof management techniques.  ...  Our techniques steer the uniform substitution implementation of the differential dynamic logic proof calculus in KeYmaera X to allow users choose when and how in a proof abstract formulas, terms, or programs  ...  core with proof management techniques.  ... 
doi:10.4204/eptcs.338.8 fatcat:x6c46imoyfhkblcrgzeyi3zgk4

Efficient resource management for linear logic proof search

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
2000 Theoretical Computer Science  
We ÿrst give a proof-theoretic presentation of the operational semantics of this language as a resolution calculus.  ...  Among these, the problem of e ciently managing the linear context when solving a goal is of crucial importance for the use of these systems in non-trivial applications.  ...  They call a proof uniform if it can be found by goal-directed search. If uniform proofs are sound and complete we may say that the we have an abstract logic programming language.  ... 
doi:10.1016/s0304-3975(99)00173-5 fatcat:yga4eeigovhzjeei7j6dyb4od4

Efficient resource management for linear logic proof search [chapter]

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
1996 Lecture Notes in Computer Science  
Among these, the problem of efficiently managing the linear context when solving a goal is of crucial importance for the use of these systems in non-trivial applications.  ...  We then present a series of resource management systems designed to eliminate the nondeterminism in the distribution of linear formulas that undermines the efficiency of a direct implementation of this  ...  Most importantly, they prove that LHHF possesses the necessary computational properties to be considered an abstract logic programming language [MNPS91] .  ... 
doi:10.1007/3-540-60983-0_5 fatcat:kl4lm3d3xbbezmfeoexni5chze

Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* [chapter]

Dexter Kozen, Ganesh Ramanarayanan
2011 Games, Norms and Reasons  
These rules can provide a proof-theoretic infrastructure for proof reuse in any system.  ...  In this paper we examine the operations of publication (remembering a proof) and citation (recalling a proof for reuse), regarding them as forms of common subexpression elimination on proof terms.  ...  proof term and t is an individual term, • an abstraction λp.τ , where p is a proof variable and τ is a proof term, • an abstraction λx.τ , where x is an individual variable and τ is a proof term, or •  ... 
doi:10.1007/978-94-007-0714-6_9 fatcat:cgrpzn7ngzbg3mv3enaxbq2eee

Beyond proof-of-compliance: security analysis in trust management

Ninghui Li, John C. Mitchell, William H. Winsborough
2005 Journal of the ACM  
Trust management is a form of distributed access control that allows one principal to delegate some access decisions to other principals.  ...  While this makes trust management more flexible than the access matrix model, it makes safety and security analysis more important.  ...  We thank Fred Schneider and Somesh Jha for discussions that led to our study of safety and availability properties in Trust Management.  ... 
doi:10.1145/1066100.1066103 fatcat:q7fqg5vqmbhj3gxmbdqwkaxuy4

A Machine-Checked Proof of Security for AWS Key Management Service

José Bacelar Almeida, Serdar Tasiran, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Gregoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub
2019 Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS '19  
We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers  ...  The proof is machine-checked in the EasyCrypt proof assistant and is the largest EasyCrypt development to date.  ...  Domain Management Abstraction.  ... 
doi:10.1145/3319535.3354228 dblp:conf/ccs/AlmeidaBBCCGPPS19 fatcat:wtlzcshvo5cshof74xr4lg5g4a

Proof obligations as a support tool for efficient process management in the field of production planning and scheduling

Denisa Hrušecká
2016 Serbian Journal of Management  
effective production and administration processes parameters in industrial companies based on concept Industry 4.0", realized by Department of Industrial Engineering and Information Systems, Faculty of Management  ...  We spoke to CEOs or production managers from 13 different Czech manufacturing companies.  ...  It is a formal method that enables the abstraction of complex interactions between its subcomponents and mathematical verification of set rules.  ... 
doi:10.5937/sjm11-11135 fatcat:o2x634idlremvo4t2xug3n2lq4

Beyond process monitoring: a proof‐of‐concept of event‐driven business activity management

Christian Janiesch, Martin Matzner, Oliver Müller
2012 Business Process Management Journal  
Through the definition of abstraction relationships, it is possible to define complex events by aggregating a set of low-level events.  ...  ., Workflow Management Coalition (WfMC) (1999): Figure 2 : 2 Proof-of-concept of the proposed conceptual architecture Figure 3 : 3 Perfect order fulfillment process Table 1 : 1 Overview of research  ... 
doi:10.1108/14637151211253765 fatcat:ilwriies3rao3jzvjx5pvr2n4q

Good Status in the Changing Climate?—Climate Proofing Law on Water Management in the EU

Suvi-Tuuli Puharinen
2021 Sustainability  
The WFD includes mechanisms to adapt the water management objectives to climate change impacts, including redefining good status and application of exemptions.  ...  However, more harmonised efforts at the EU level would be needed to ensure an equal level of ambition and continuity in the water management objectives capacity to steer towards sustainable regime shifts  ...  I call this assessment climate-proofing the law on water management objectives.  ... 
doi:10.3390/su13020517 fatcat:vyex6sbm7bberjguqdsima4i4a

An Exploratory Literature Study into Digital Transformation and Leadership: Toward Future-Proof Middle Managers

Maartje Henderikx, Jol Stoffers
2022 Sustainability  
It could be used to handle quantifiable managerial tasks and evaluate the quantifiable part of performance, while managers focus on the soft skills side of management such as coaching, motivating and empowering  ...  This study aimed to obtain insight into the influence digital transformation has on future leadership behaviors and management.  ...  to use as a reference for future-proof management.  ... 
doi:10.3390/su14020687 fatcat:5g3llip6zfdoxnc2dve4pvyxqe

Managing Acute Phosphorus Loss with Fertilizer Source and Placement: Proof of Concept

Douglas R. Smith, R. Daren Harmel, Mark Williams, Richard Haney, Kevin W. King
2016 Agricultural & Environmental Letters  
Agricultural & Environmental Letters Research Letter Abstract: Surface water eutrophication is a pervasive global problem, with P losses from agriculture often identified as a significant contributor  ...  These results indicate that critical examination of current fertilizer management may be needed to diminish eutrophication while ensuring sufficient P for crop uptake.  ... 
doi:10.2134/ael2015.12.0015 fatcat:bpnz2rwoobbuvi5lb5jqjcr2dy

The burden of proof in co-management and results-based management: the elephant on the deck!

M. Fitzpatrick, N. Graham, D. J. Rihan, D. G. Reid
2011 ICES Journal of Marine Science  
Results-based management requires that outcomes can be demonstrated by industry and verified by managers on behalf of society. The core questions are: what outcomes, and how can they be proved?  ...  Existing fishery approaches to reversing the burden of proof are examined with focus on how proof is demonstrated.  ...  It has benefited greatly from discussions on the initial ideas with a range of interested parties including individual fishers, industry representatives, scientists, and fishery managers.  ... 
doi:10.1093/icesjms/fsr098 fatcat:kskw2gklijhk5eok4f7nsweulq
« Previous Showing results 1 — 15 out of 225,943 results