Formal Analysis
Formal Analysis of an Agent Support Model for Behaviour Change Intervention
... explore formal analysis of behavioural change process model as presented earlier in Fogg’s study ...mathematical analysis performed to demonstrate the occurrence of equilibrium conditions, which ...
7
A FORMAL ANALYSIS OF A DIGITAL SIGNATURE ARCHITECTURE
... the formal analysis did not expose any design errors, the process itself was still quite ...the formal model improved our understanding of the design and helped us identify better ...
18
Discovering Concrete Attacks on Website Authorization by Formal Analysis
... Unbounded verification becomes important for flexible protocols such as OAuth 2.0, that even in the simplest case involve five heterogeneous principals and eight HTTP exchanges. In general, one may even construct OAuth con- ...
16
Automated Formal Analysis of Internet Routing Configurations
... 5.4. Evaluation FVR uses the RapidNet [2, 49] declarative networking engine to compile the ND- log programs into applications (with an execution model similar to Click [35]) ex- ecutable in ns-3 [51], an emerging ...
176
Formal Analysis of E-Cash Protocols
... on formal analysis of e-cash protocols in the computational (CG08) and symbolic world (LCPD07; ...provide formal definitions for various privacy and unforgeability properties in the computational ...
13
FORMAL ANALYSIS OF SECURITY POLICY IMPLEMENTATIONS IN ENTERPRISE NETWORKS
... path analysis procedure modifies the inter-rule conflict free rule base, Conflict_Free_ACL_Base, by inserting new rules or updating the access permissions of existing ...
18
An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols
... CryptoPAi is a hybrid operational-epistemic framework for specification and analysis of security protocols with genuine support for cryptographic constructs. This framework includes a process algebraic formalism ...
18
Formal analysis of privacy in Direct Anonymous Attestation schemes
... the analysis of unforgeability in the RSA-based scheme by Backes, Maffei & Unruh [BMU08] could not identify the Chen, Mor- rissey & Smart attack because they consider a setting where the host and TPM are ...
34
Automated Formal Analysis of Internet Routing Systems
... N etw or k Sy st em Fo rm al Re as on in g Protocol Implementation Declarative Networking Specification SMT Solver Maude Analyzer Network Reduction Policy Configuration Theo[r] ...
31
A formal analysis of the Neuchâtel e-voting protocol
... Our analysis confirms the security of the protocol: it ensures cast-as-intended and recorded-as-cast against a dishonest voting device (assuming an honest voting server) and it guarantees privacy against a ...
14
The discoursal and formal analysis of e-mails: a cross disciplinary genre analysis
... and formal features of the e-mail genre in order to maximize the efficiency and effectiveness of their ...genre analysis studies such as Swales (1990), Bhatia (1993), Santos (2002), Vergaro (2004), and ...
22
An Augmented Framework for Formal Analysis of Safety Critical Systems
... UML [6] is a modeling technique that combines object oriented methods and concepts. It enhances the analysis and design of software system by allowing more cohesive relationships b/w objects. It has been observed ...
13
A FORMAL ANALYSIS OF EXCHANGE OF DIGITAL SIGNATURES
... In chapter 4, we present our refined semantic framework and define a class of two- party signature-exchange protocols with trusted third party. In chapter 5, we give the formal definitions of fairness, ...
250
Formal Analysis of Distance Bounding with Secure Hardware
... Our formal model for DB, which we call secure hardware model (SHM), provides a solution to all DB related problems that we mention. We denote the two-algorithm (Prover and Verifier) DB corresponding to the ...
24
Structural analysis of the formal and informal jobs in the Brazilian economy
... the formal and informal job market, as well as the economy productive structure, using for that input-output matrices constructed for the Brazilian ...the formal sector was responsible for about 60% of the ...
26
Using formal concept analysis to detect and monitor organised crime
... A formal context can be created from recorded instances of crime or from domain knowledge regarding the types of ...sources, formal contexts can be created using existing software tools and techniques [2, ...
11
Analysis of large data sets using formal concept lattices
... into formal con- texts [7,2] by a process of discretising and Booleanising the ...of formal concepts [9], making the resulting concept lattices unreadable and un- ...of formal concepts; much of the ...
13
Matching biomedical ontologies based on formal concept analysis
... the formal context, FCA- Merge uses textual documents crawled from the Web as objects, and classes in two source ontologies as ...the formal context is marked if the corre- sponding class’s name occurs in ...
27
Formal Privacy Analysis of Communication Protocols for Identity Management
... years, formal methods have been developed for the analy- sis of security and privacy aspects of communication in IT ...general formal method to analyze privacy of communication protocols for ...
15
THE FORMAL ECONOMIC ANALYSIS of income tax evasion was pioneered by
... original analysis quite significantly), reconciled the puzzle within the neoclassical paradigm, my approach in this paper was to accomplish the same goal with a minimum set of extra ...
7